![](/files/happy5.png)
Conjecture For every composable funcoids
and
we have
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
![$ g $](/files/tex/4239ee4145983e1d8ad375f0606cc7140bce36a3.png)
![$$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 \}.$$](/files/tex/d78a30dbedc03927d9a2158917cef57ce4ce0f5e.png)
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.