I’ve proved the theorem:
Theorem
and
are mutually inverse bijections between
and funcoidal reloids.
- These bijections preserve composition.
(The second items is the previously unknown fact.)
and its consequence:
Theorem for every composable funcoids
and
.
See this online article for the proofs.