A 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 moreError in the proof of below theorem!! http://www.math.portonvictor.org/binaries/addons.pdf My earlier attempt to describe normal reloids (where the normality is taken from “Each regular paratopological group is completely regular” article, not from the customary normality of the induced topological space) failed. After a…
read moreIn this blog post I consider my attempt to rewrite the article “Each regular paratopological group is completely regular” by Taras Banakh, Alex Ravsky in a more abstract way using my theory of reloids and funcoids. The following is a general comment…
read moreHaving a funcoid $latex f$ I defined what I call interior funcoid $latex f^\circ$. See this PDF file for a few equivalent definitions. Interior funcoid is a generalization of interior operator for a topological space. Interior funcoid is kinda dual funcoid. Note…
read moreI have added the following easy to prove theorem to my general topology research book: Theorem If $latex \mathfrak{A}$ and $latex \mathfrak{B}$ are bounded posets, then $latex \mathsf{pFCD}(\mathfrak{A}; \mathfrak{B})$ is bounded.
read moreThis conjecture appeared to be false. Now I propose an alternative conjecture: Let $latex A$, $latex B$ be sets. Conjecture Funcoids $latex f$ from $latex A$ to $latex B$ bijectively corresponds to the sets $latex R$ of pairs $latex (\mathcal{X}; \mathcal{Y})$ of…
read moreJust a few minutes ago I’ve formulated a new important conjecture about funcoids: Let $latex A$, $latex B$ be sets. Conjecture Funcoids $latex f$ from $latex A$ to $latex B$ bijectively corresponds to the sets $latex R$ of pairs $latex (\mathcal{X}; \mathcal{Y})$…
read more