I added to this online article the following definitions, propositions, and conjectures:

Definition $latex \boxbox f = \bigsqcap^{\mathsf{RLD}} \mathrm{up}^{\Gamma (\mathrm{Src}\, f ; \mathrm{Dst}\, f)} \, f$ for reloid $latex f$.

Obvious $latex \boxbox f \sqsupseteq f$ for every reloid $latex f$.

Example $latex (\mathsf{RLD})_{\Gamma} f \neq \boxbox (\mathsf{RLD})_{\mathrm{out}} f$ for some funcoid $latex f$.

Conjecture $latex (\mathsf{RLD})_{\Gamma} f = \boxbox (\mathsf{RLD})_{\mathrm{in}} f$ for every funcoid $latex f$.

Leave a Reply

Your email address will not be published. Required fields are marked *