http://www.openproblemgarden.org/forum_topic/broken_interlinking_between_problems Comments for "Broken interlinking between problems" en http://www.openproblemgarden.org/forum_topic/broken_interlinking_between_problems I've just posted three new open problems: <ol> <li><a href="http://garden.irmacs.sfu.ca/?q=op/cross_composition_product_of_binary_relations_is_a_quasi_cartesian_function">Cross-composition product of binary relations is a quasi-cartesian function </a></li> <li><a href="http://garden.irmacs.sfu.ca/?q=op/cross_composition_product_of_pointfree_funcoids_is_a_quasi_cartesian_function">Cross-composition product of pointfree funcoids is a quasi-cartesian function </a></li> <li><a href="http://garden.irmacs.sfu.ca/?q=op/cross_composition_product_of_reloids_is_a_quasi_cartesian_function">Cross-composition product of reloids is a quasi-cartesian function </a></li> http://www.openproblemgarden.org/forum_topic/broken_interlinking_between_problems#comment Thu, 05 Jul 2012 23:08:34 +0200 porton 37487 at http://www.openproblemgarden.org