Home » Keyword index

composition of funcoids


Topology

Composition of funcoids expressed through composition of binary relations ★★

Author(s): Porton

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 \}.$$

Keywords: composition of funcoids

Posted by porton
updated October 11th, 2011
add new comment
Syndicate content