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}).$
Funcoids and Reloids – updated
I updated my online article “Funcoids and Reloids”. Now it contains materials which previously were in separate articles: Partially ordered dagger categories; Generalized continuity, which generalizes continuity, proximity continuity, and uniform continuity.