Skip to content
July 25, 2016 / porton

A new mapping from funcoids to reloids

Less than a hour ago I discovered a new mapping from funcoids to reloids:

Definition (\mathsf{RLD})_X f = \bigsqcap \left\{ g \in \mathsf{RLD} \mid (\mathsf{FCD}) g \sqsupseteq f \right\} for every funcoid f.

Now I am going to work on the following conjectures:

Conjecture (\mathsf{RLD})_X f = \min \left\{ g \in \mathsf{RLD} \mid (\mathsf{FCD}) g \sqsupseteq f \right\}, that is (\mathsf{RLD})_X is the lower adjoint of (\mathsf{FCD}).

Conjecture (\mathsf{RLD})_X f = f if f is a principal funcoid.

Conjecture (\mathsf{RLD})_X (f|_\mathcal{A}) = ((\mathsf{RLD})_X f)|_\mathcal{A}.

Note that from the two last conjectures it follows that (\mathsf{RLD})_X \mathrm{id}^{\mathsf{FCD}}_\mathcal{A} = \mathrm{id}^{\mathsf{RLD}}_\mathcal{A}.


One Comment

Leave a Comment
  1. porton / Jul 25 2016 23:09

    (\mathsf{RLD})_X is not a lower adjoint of (\mathsf{FCD}) because (\mathsf{FCD}) does not preserve binary meets.

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: