The (candidate) construction of direct product in the category of continuous maps between endo-funcoids

Consider the category of (proximally) continuous maps (entirely defined monovalued functions) between endo-funcoids. Remind from my book that morphisms $latex f: A\rightarrow B$ of this category are defined by the formula $latex f\circ A\sqsubseteq B\circ f$ (here and below by abuse of…

The end of Algebraic General Topology?

It was my long time dream since the first course of the university to do math analysis in algebraic fashion instead of the notorious epsilon-delta notation overloaded with quantifiers. This dream has been accomplished. I discovered a new math theory in which…