A bijection from the set of funcoids to a certain subset of reloids

I have proved that there is a bijection from the set \mathsf{FCD}(A;B) to a certain subset of \mathsf{RLD}(A;B) (which I call funcoidal reloids).

See section (currently numbered 8.4) “Funcoidal reloids” in the preprint of my book.

Leave a Reply