There are two changes in Products in dagger categories with complete ordered Mor-sets draft article: 1. I’ve removed the section on relation of subatomic product with categorical product saying that for funcoids they are the same. No, they are not the same….

read more
Algebraic general topology Category theory Filters General Topology Open problems Pointfree topology

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 moreI’ve put online an article (PDF, a partial draft) where I define product of two morphisms for certain categories. (Such products are pointfree funcoids.) Particularly it is defined product of two funcoids and product of two reloids. It is a more mature…

read more