Fundamental duality of abstract categories and its applications (Q277334): Difference between revisions

There exists the well-known adjunction between the categories of topological spaces (point-set topology) and locales (point-free topology), which restricts to an equivalence between the categories of sober topological spaces and spatial locales (cf., e.g., [\textit{P. T. Johnstone}, Stone spaces. Cambridge etc.: Cambridge University Press (1982; Zbl 0499.54001)]). The present paper provides an extension of both the adjunction and the equivalence, which is suitable, in particular, to deal with several variants of fuzzy topological spaces. The author starts with a categorical analogue of topological spaces (Definition~3.1 on page~75) and continuous maps (Definition~3.2 on page~76), both based in a category with a suitable factorization structure. He then provides an analogue of the above-mentioned adjunction (Theorem~4.4 on page~80) and equivalence (Theorem~5.5 on page~83). Lastly, he shows some applications of his obtained machinery to topological spaces, which are based in quantaloid-enriched categories, quasivarieties, and augmented posets of [\textit{B. Banaschewski} and \textit{G. Bruns}, Order 5, No. 1, 61--74 (1988; Zbl 0653.06003)]. The paper is well written, carefully provides most of its required preliminaries, and will be of interest to the categorical fuzzy topologists.