Skip to content
July 13, 2018 / porton

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

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: