I added counter-examples to the following two conjectures to my online article “Funcoids and Reloids”:

Conjecture $latex (\mathsf{RLD})_{\mathrm{out}}(\mathcal{A}\times^{\mathsf{FCD}}\mathcal{B})=\mathcal{A}\times^{\mathsf{RLD}}\mathcal{B}$ for every filter objects $latex \mathcal{A}$ and $latex \mathcal{B}$.

Conjecture $latex (\mathsf{RLD})_{\mathrm{out}}(\mathsf{FCD})f=f$ for every reloid $latex f$.

Leave a Reply

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