Less than a hour ago I discovered a new mapping from funcoids to reloids:
Definition for every funcoid
.
Now I am going to work on the following conjectures:
Conjecture , that is
is the lower adjoint of
.
Conjecture if
is a principal funcoid.
Conjecture .
Note that from the two last conjectures it follows that .
One comment