http://www.openproblemgarden.org/op/star_composition_with_join_of_multifuncoids Comments for "Star composition with join of multifuncoids" en http://www.openproblemgarden.org/op/star_composition_with_join_of_multifuncoids <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; <img class="teximage" src="/files/tex/7ca8961e7e16df4bbbc9433adab6a3a0f2c61525.png" alt="$ \operatorname{GR} \operatorname{StarComp} \left( a \sqcup^{\mathsf{pFCD}} b ; f \right) = \operatorname{GR} \operatorname{StarComp} \left( a ; f \right) \sqcup^{\mathsf{pFCD}} \operatorname{GR} \operatorname{StarComp} \left( b ; f \right) $" /> if <img class="teximage" src="/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png" alt="$ f $" /> is a pointfree funcoid and <img class="teximage" src="/files/tex/b1d91efbd5571a84788303f1137fb33fe82c43e2.png" alt="$ a $" />, <img class="teximage" src="/files/tex/b94226d9717591da8122ae1467eda72a0f35d810.png" alt="$ b $" /> are multifuncoids of the same form, composable with <img class="teximage" src="/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png" alt="$ f $" />. </div> </tr></td> </table> </td> </tr> </table> Porton, Victor Topology http://www.openproblemgarden.org/op/star_composition_with_join_of_multifuncoids#comment Mon, 17 Sep 2012 17:01:02 +0200 porton 37712 at http://www.openproblemgarden.org