On generalized Bourbaki theorem in the category (S, Q)-cat
Bourbaki theoremclosed mapcompact topological spaceEilenberg-Moore algebraenriched categoryfilterKuratowski-Mrówka theoremlax algebramonadperfect mappreordered setproper mappullbackrelationtopological spaceultrafilter
Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20) Categories of topological spaces and continuous mappings (18F60) Quantales (18F75) Categorical methods in general topology (54B30) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Compactness (54D30)
\par There exist the concepts of \textit{proper} and \textit{perfect} maps between topological spaces. Given a continuous map \(f:X\rightarrow Y\), \(f\) is said to be \textit{proper} provided that the product map \(f\times 1_Z:X\times Z\rightarrow Y\times Z\) is closed for every topological space \(Z\). Moreover, \(f\) is said to be \textit{perfect} provided that it is closed, and the fibre \(f^{-1}(y)\) is compact for every \(y\in Y\). In particular, Theorem~10.2.1 of~[\textit{N. Bourbaki}, Elements of mathematics. General topology. Paris: Hermann \& Cie.; Reading, Mass. etc.: Addison-Wesley Publishing Company (1966; Zbl 0145.19302)] showed that the above notions are equivalent. The result of N.~Bourbaki generalizes the famous Kuratowski-Mrówka theorem, stating that for every topological space \(X\), the unique map to a singleton \(X\rightarrow 1\) is perfect if and only if the map is proper~[\textit{N. Bourbaki}, Éléments de mathématique. Les structures fondamentales de l'analyse. 3. Topologie générale. 1. Structures topologiques. 2. Structures uniformes. Paris: Hermann \& Cie (1940; Zbl 0026.43101); \textit{C. Kuratowski}, Fundam. Math. 17, 249--272 (1931; Zbl 0003.10504); \textit{S. Mrówka}, Colloq. Math. 7, 19--22 (1959; Zbl 0093.36305)]. \textit{M. M. Clementino} and \textit{W. Tholen} [Theory Appl. Categ. 27, 327--346 (2012; Zbl 1275.18010)] extended the above results to the setting of \textit{monoidal topology} of~[\textit{D. Hofmann} (ed.) et al., Monoidal topology. A categorical approach to order, metric, and topology. Cambridge: Cambridge University Press (2014; Zbl 1297.18001)], which provides a convenient category-theoretic setting for doing topology based in a certain laxification of the category of Eilenberg-Moore algebras with respect to a monad, where the laxification in question relies on the concept of \textit{quantale}~[\textit{K. I. Rosenthal}, Quantales and their applications. Harlow: Longman Scientific \& Technical; New York: John Wiley \& Sons, Inc. (1990; Zbl 0703.06007)].\N\NIn their above paper, M.~M.~Clementino and W.~Tholen posed an open question related to a particular modification (or relaxation) of the conditions characterizing proper maps in terms of monoidal topology~(Item~(2) of Remark~6.2). The present paper concludes that the modifications in question are no longer equivalent to the concept of proper map. For convenience of the reader, the author starts with a very detailed recapitulation of the setting of monoidal topology (where this recapitulation takes the most of the paper), and then proceeds to the main results in Section~3.\N\NThe paper is sufficiently well written, meticulously provides virtually all of its required preliminaries (there is almost no need to look into the provided list of references), and will be of interest to all those researchers who study category-theoretic approaches to general topology.
- Algebraic and categorical aspects of quantales
- An illustrative introduction to modern analysis
- An introduction to metric spaces
- Characterization of a category for monoidal topology
- Lax algebra meets topology
- Metric, topology and multicategory -- a common approach
- On a lax-algebraic characterization of closed maps
- One setting for all: Metric, topology, uniformity, approach structure
- Proper maps for lax algebras and the Kuratowski-Mrówka theorem
This page was built for publication: On generalized Bourbaki theorem in the category \((\mathbb{S}, \mathrm{Q})\)-cat
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6890722)
