I present a new proof of Urysohn’s lemma. Well, not quite: my proof is dependent on an unproved conjecture. Currently my proof is present in this PDF file. The proof uses theory of funcoids.
read moreWhat are necessary and sufficient conditions for $latex \mathrm{up}\, f$ to be a filter for a funcoid $latex f$?
read moreI’ve added to my book a new easy to prove theorem and its corollary: Theorem If $latex f$ is a (co-)complete funcoid then $latex \mathrm{up}\, f$ is a filter. Corollary If $latex f$ is a (co-)complete funcoid then $latex \mathrm{up}\, f =…
read moreWhile writing my book I forgot to settle the following conjecture: Conjecture $latex \forall H \in \mathrm{up} (g \circ f) \exists F \in \mathrm{up}\, f, G \in \mathrm{up}\, g : H \sqsupseteq G \circ F$ for every composable funcoids $latex f$ and…
read moreA new (but easy to prove) theorem in my research book: Theorem Let $latex \mu$ and $latex \nu$ be endomorphisms of some partially ordered dagger precategory and $latex f\in\mathrm{Hom}(\mathrm{Ob}\mu;\mathrm{Ob}\nu)$ be a monovalued, entirely defined morphism. Then $latex f\in\mathrm{C}(\mu;\nu)\Leftrightarrow f\in\mathrm{C}(\mu^{\dagger};\nu^{\dagger}).$
read moreI have added to my free ebook a definition of $latex T_4$-funcoids (generalizing $latex T_4$ topologies). A funcoid $latex f$ is $latex T_4$ iff $latex f \circ f^{- 1} \circ f \circ f^{- 1} \sqsubseteq f \circ f^{- 1}$. This can also…
read moreEarlier I’ve conceived an algebraic formula to characterize whether a quasi-uniform space is normal (where normality is defined in Taras Banakh sense, not in the sense of underlying topology being normal). That my formula was erroneous. Today, I have proved another formula…
read moreI added to my free ebook a new (easy to prove) theorem and a couple new conjectures: Theorem For every reloid $latex f$: $latex \mathsf{Compl} (\mathsf{FCD}) f = (\mathsf{FCD}) \mathsf{Compl} f$; $latex \mathsf{CoCompl} (\mathsf{FCD}) f = (\mathsf{FCD}) \mathsf{CoCompl} f$. Conjecture $latex \mathsf{Compl}(\mathsf{RLD})_{\mathsf{in}}…
read more