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…

read moreIt 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…

read more