
Galois connections
A diagram about funcoids and reloids ★★
Author(s): Porton
Define for posets with order :
;
.
Note that the above is a generalization of monotone Galois connections (with and
replaced with suprema and infima).
Then we have the following diagram:
What is at the node "other" in the diagram is unknown.
Conjecture "Other" is
.

Question What repeated applying of
and
to "other" leads to? Particularly, does repeated applying
and/or
to the node "other" lead to finite or infinite sets?




Keywords: Galois connections
