A step forward to solve an open problem

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 \mathrm{other} = \Phi_{\ast}(\mathsf{RLD})_{\mathrm{out}}.

A few minutes ago I’ve proved (\Phi_{\ast}(\mathsf{RLD})_{\mathrm{out}})\bot = \Omega^{\mathsf{FCD}}, that is found the value of the function “other” at \bot. It is yet a “mistery” what values it has at different arguments.

Leave a Reply