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 more