When I first saw topogenous relations at first I thought that my definition of funcoids was plagiarized (for some special case). But then I looked the year of publication. It was 1963, long before discovery of funcoids. Topogenous relations are a trivial…

read moreThis my post is about mathematical logic, but first I will explain the story about people who asked or answer this question. A famous mathematician Timoty Gowers asked this question: What is the difference between direct proofs and proofs by contradiction. We,…

read moreI’ve added to the preprint of my book a new theorem (currently numbered theorem 8.30). The theorem states: Theorem $latex g \circ ( \mathcal{A} \times^{\mathsf{RLD}} \mathcal{B}) \circ f = \langle ( \mathsf{FCD}) f^{- 1} \rangle \mathcal{A} \times^{\mathsf{RLD}} \langle ( \mathsf{FCD}) g \rangle…

read moreI have proved the theorem from Wikipedia that every Cauchy filter is contained in a maximal Cauchy filter (in fact I’ve proved a more general statement). I don’t know the standard proof (and don’t know where to find it), so I’ve devised…

read moreI have rewritten my draft article Products in dagger categories with complete ordered Mor-sets. Now I denote the product of an indexed family $latex X$ of objects as $latex \prod^{(Q)} X$ (instead of old confusing $latex Z’$ and $latex Z”$ notation) and…

read moreI have claimed that I have proved this theorem: Theorem Let $latex f$ is a $latex T_1$-separable (the same as $latex T_2$ for symmetric transitive) compact funcoid and $latex g$ is an reflexive, symmetric, and transitive endoreloid such that $latex ( \mathsf{FCD})…

read moreToday I’ve proved a new little theorem: Theorem $latex \mathrm{Cor} ( \mathsf{FCD}) g = ( \mathsf{FCD}) \mathrm{Cor}\, g$ for every reloid $latex g$. Conjecture For every funcoid $latex g$ $latex \mathrm{Cor} ( \mathsf{RLD})_{\mathrm{in}} g = ( \mathsf{RLD})_{\mathrm{in}} \mathrm{Cor}\, g$; $latex \mathrm{Cor} (…

read moreI’ve added to preprint of my book a new simple theorem: Theorem $latex \mathrm{GR} ( \mathsf{FCD}) g \supseteq \mathrm{GR}\, g$ for every reloid $latex g$. This theorem is now used in my article “Compact funcoids”.

read moreI have proved (for any products, including infinite products): Product of directly compact funcoids is directly compact. Product of reversely compact funcoids is reversely compact. Product of compact funcoids is compact. The proof is in my draft article and is not yet…

read moreUsing “compactness of funcoids” which I defined earlier, I’ve attempted to generalize the classic general topology theorem that compact topological spaces and uniform spaces bijectively correspond to each other. I’ve resulted with the theorem Theorem Let $latex f$ is a $latex T_1$-separable…

read more