# Galois connections

## A diagram about funcoids and reloids ★★

Author(s): Porton

Define for posets with order $\sqsubseteq$:

1. $\Phi_{\ast} f = \lambda b \in \mathfrak{B}: \bigcup \{ x \in \mathfrak{A} \mid f x \sqsubseteq b \}$;
2. $\Phi^{\ast} f = \lambda b \in \mathfrak{A}: \bigcap \{ x \in \mathfrak{B} \mid f x \sqsupseteq b \}$.

Note that the above is a generalization of monotone Galois connections (with $\max$ and $\min$ replaced with suprema and infima).

Then we have the following diagram:

\Image{diagram2.png}

What is at the node "other" in the diagram is unknown.

\begin{conjecture} "Other" is $\lambda f\in\mathsf{FCD}: \top$. \end{conjecture}

\begin{question} What repeated applying of $\Phi_{\ast}$ and $\Phi^{\ast}$ to "other" leads to? Particularly, does repeated applying $\Phi_{\ast}$ and/or $\Phi^{\ast}$ to the node "other" lead to finite or infinite sets? \end{question}

Keywords: Galois connections