login/create account
Star composition with join of multifuncoids
Conjecture
if
is a pointfree funcoid and
,
are multifuncoids of the same form, composable with
.
if
is a pointfree funcoid and
,
are multifuncoids of the same form, composable with
. See Algebraic General Topology, especially the theory of multifuncoids for definitions of used concepts.
Bibliography
*Victor Porton. Algebraic General Topology
* indicates original appearance(s) of problem.
Drupal
CSI of Charles University