Conjecture $latex (\mathsf{RLD})_{\mathrm{in}} f = \bigsqcap^{\mathsf{RLD}} \mathrm{up}^{\Gamma (\mathrm{Src}\, f ; \mathrm{Dst}\, f)}\, f$ for every funcoid $latex f$.

(I use notation from this note and this draft article.)

One Response

Leave a Reply

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