I’ve just proved the following:

Theorem $latex (\mathsf{FCD}) (\mathsf{RLD})_{\Gamma} f = f$ for every funcoid $latex f$.

For a proof see this online article.

I’ve also posed the conjecture:

Conjecture $latex (\mathsf{FCD}) : \mathsf{RLD} (A ; B) \rightarrow \mathsf{FCD} (A ; B)$ is the upper adjoint of $latex (\mathsf{RLD})_{\Gamma} : \mathsf{FCD} (A ; B) \rightarrow \mathsf{RLD} (A ; B)$ for every sets $latex A$, $latex B$.

One Response

  1. I have also proved that $latex (\mathsf{RLD})_{\Gamma}$ is neither upper nor lower adjoint of $latex (\mathsf{FCD})$ (see the same online article above).

Leave a Reply

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