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$.

read more