I am attempting to find the value of the node “other” in a diagram currently located at this file, chapter “Extending Galois connections between funcoids and reloids”.
By definition $latex \mathrm{other} = \Phi_{\ast}(\mathsf{RLD})_{\mathrm{out}}$.
A few minutes ago I’ve proved $latex (\Phi_{\ast}(\mathsf{RLD})_{\mathrm{out}})\bot = \Omega^{\mathsf{FCD}}$, that is found the value of the function “other” at $latex \bot$. It is yet a “mistery” what values it has at different arguments.