Today I proved the following conjecture: If a reloid is both complete and co-complete it is discrete. The proof was easily constructed by me shortly after I noticed an obvious but not noticed before proposition: Proposition A reloid $latex f$ is complete…
read moreI proved the following equality for $latex \mathcal{A}$ being a filter object and $latex f$ being either a funcoid: $latex \mathrm{dom}f|^{\mathsf{FCD}}_{\mathcal{A}} = \mathcal{A} \cap^{\mathfrak{F}} \mathrm{dom}f$ or reloid: $latex \mathrm{dom}f|^{\mathsf{RLD}}_{\mathcal{A}} = \mathcal{A} \cap^{\mathfrak{F}} \mathrm{dom}f$. See the updated version of Funcoids and Reloids online…
read more