Home » Subject » Topology

Distributivity of outward reloid over composition of funcoids (Solved)

Importance: Medium ✭✭
Author(s): Porton, Victor
Subject: Topology
Keywords: distributive
distributivity
funcoid
functor
outward reloid
reloid
Recomm. for undergrads: no
Posted by: porton
on: August 9th, 2007
Solved by: Porton, Victor
Conjecture   $ ( \mathsf{\tmop{RLD}})_{\tmop{out}} (g \circ f) = ( \mathsf{\tmop{RLD}})_{\tmop{out}} g \circ ( \mathsf{\tmop{RLD}})_{\tmop{out}} f $ for any composable funcoids $ f $ and $ g $.

See Algebraic General Topology for definitions of used concepts.

A counter-example: $ f = {(=)}|_{\Omega} $ and $ g = \mho \times^{\mathsf{\tmop{FCD}}} \{ \alpha \} $.

See the proof for the counter-example in my blog.

Bibliography

*Victor Porton. Algebraic General Topology


* indicates original appearance(s) of problem.
add new comment

Please improve presentation!

On September 2nd, 2007 rs says:

Please, provide

1) definitions of the used concepts (to make the statement self-contained)

2) motivation (why this is important, examples, ...)

At the present state, this text is unfortunately not very useful for someone not acquainted with your manuscripts.

reply

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.