Conjecture For every composable funcoids $latex f$ and $latex g$ we have $latex 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 \}$.
read more