Home » Subject » Topology

Composition of funcoids expressed through composition of binary relations (Solved)

Importance: Medium ✭✭
Author(s): Porton, Victor
Subject: Topology
Keywords: composition of funcoids
Recomm. for undergrads: no
Posted by: porton
on: October 11th, 2011
Solved by: Porton, Victor
Conjecture   For every composable funcoids $ f $ and $ g $ we have $$g \circ f = \bigcap \{ \uparrow^{\mathsf{FCD} ( \mathrm{Src}\,f ; \mathrm{Dst}\,g) } ( G \circ F ) \hspace{0.5em} | \hspace{0.5em} F \in \mathrm{up}\, f, G \in \mathrm{up}\, g \}.$$

See Algebraic General Topology for definitions of used concepts.

Now this book contains a proof of this statement.

Bibliography

*Victor Porton. Algebraic General Topology


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