Categorical foundations of topology with applications to quantaloid enriched topological spaces (Q277343)

The paper describes a particular categorical framework for doing topology. This framework is based in the ordered monads of [\textit{W. Gähler}, in: Recent developments of general topology and its applications. International conference in memory of Felix Hausdorff (1868--1942), held in Berlin, Germany, March 22--28, 1992. Berlin: Akademie-Verlag. 136--149 (1992; Zbl 0803.54013)], the previous study of the author on ordered monads in [\textit{U. Höhle}, Many valued topology and its applications. Boston, MA: Kluwer Academic Publishers (2001; Zbl 0969.54002)], and the monads factoring through the category of preordered sets of [\textit{G. J. Seal}, Appl. Categ. Struct. 17, No. 1, 75--89 (2009; Zbl 1176.54011)]. After recalling the concept of ordered monad and its related notions in Section~2, the author arrives at the respective categorical definition of topological spaces and continuous maps in Definition~3.1 (and two paragraphs afterwards) on pages 175--176 in Section~3. The definition in question provides a categorical analogue of the standard representation of topological spaces through neighborhood systems [\textit{R. Engelking}, General topology. Rev. and compl. ed. Berlin: Heldermann Verlag (1989; Zbl 0684.54001)]. Section~4 then studies the respective categorical versions of separation axioms (e.g., \(T_0\), \(T_1\), and \(T_2\)). Section~5 presents an example of an ordered monad in the form of the double presheaf monad on the category of categories enriched in a small quantaloid \(\mathcal{Q}\) (Theorem~5.13 on page~193), thus arriving at the so-called \(\mathcal{Q}\)-enriched topology. The paper ends with some examples of \(\mathcal{Q}\)-enriched topologies, which are induced by Borel probability measures and the spectrum of a non-commutative \(C^{\ast}\)-algebra. The paper is nicely written, carefully (and willingly) provides most of its required preliminaries, but will probably require from the reader quite an amount of time to get into all the technicalities of its proposed approach to topology.