I’ve proved the following statements (and put them in my book): Domain of funcoids preserves joins. Image of funcoids preserves joins. Domain of reloids preserves joins. Image of reloids preserves joins. I’ve proved it using Galois connections.
read moreFrom a new version of preprint of my book: Corollary 7.18 If $latex f$ and $latex g$ are composable reloids, then $latex g \circ f = \bigsqcup \left\{ G \circ F \, | \, F \in \mathrm{atoms}\, f, G \in \mathrm{atoms}\, g…
read moreI’ve put online my gibberish with partial proofs and proof attempts of my open problems. You can see the PDF file with this gibberish. Please write me (either by email or by blog comments) if you solve anything of this.
read moreI’ve uploaded a new version of my article “Equalizers and co-Equalizers in Certain Categories” (a very rough draft). In it is proved (among other) that arbitrary equalizers and co-equalizers of categories Fcd and Rld (continuous maps between endofuncoids and endoreloids) exist. I’ve…
read moreIn this my rough draft article I construct equalizers for certain categories (such as the category of continuous maps between endofuncoids). Products and co-products were already proved to exist in my categories, so these categories are complete. In the above mentioned article…
read moreConjecture 1. The categories Fcd and Rld are complete and co-complete (actually 4 conjectures). I have not yet spend much time trying to solve this conjecture, it may be probably easy. Conjecture 2. The categories Fcd and Rld are cartesian closed (actually…
read more