Categorical foundations of topology with applications to quantaloid enriched topological spaces (Q277343): Difference between revisions
From MaRDI portal
Latest revision as of 21:12, 11 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Categorical foundations of topology with applications to quantaloid enriched topological spaces |
scientific article |
Statements
Categorical foundations of topology with applications to quantaloid enriched topological spaces (English)
0 references
29 April 2016
0 references
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.
0 references
2-category
0 references
bicategory
0 references
\(C^{\ast}\)-algebra
0 references
Borel probability measure
0 references
double presheaf monad
0 references
Kleisli composition
0 references
neighborhood system
0 references
ordered monad
0 references
partial order
0 references
presheaf
0 references
quantaloid
0 references
quantaloid-enriched category
0 references
relation
0 references
separation axiom
0 references
submonad
0 references
topological space
0 references