http://openproblemgarden.org/op/composition_of_funcoids_expressed_through_composition_of_binary_relations Comments for "Composition of funcoids expressed through composition of binary relations" en http://openproblemgarden.org/op/composition_of_funcoids_expressed_through_composition_of_binary_relations <table cellspacing="10"> <tr> <td> Author(s): <a href="/category/porton_victor">Porton</a>&nbsp;&nbsp; </td> <td align=right> Subject: <a href="/topology">Topology</a>&nbsp;&nbsp; </td> </tr> <tr> <td colspan=2> <table border=1 cellspacing="5"> <tr><td> <div class="envtheorem"><b>Conjecture</b>&nbsp;&nbsp; For every composable funcoids <img class="teximage" src="/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png" alt="$ f $" /> and <img class="teximage" src="/files/tex/4239ee4145983e1d8ad375f0606cc7140bce36a3.png" alt="$ g $" /> we have <img class="teximage" src="/files/tex/d78a30dbedc03927d9a2158917cef57ce4ce0f5e.png" alt="$$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 \}.$$" /> </div> </tr></td> </table> </td> </tr> </table> Porton, Victor composition of funcoids Topology http://openproblemgarden.org/op/composition_of_funcoids_expressed_through_composition_of_binary_relations#comment Tue, 11 Oct 2011 16:57:54 +0200 porton 37349 at http://openproblemgarden.org