Abstract
In [2] the subconstruct \({\bf{Sob}}\) of sober approach spaces was introduced and it was shown to be a reflective subconstruct of the category \({\bf{Ap}}_{0}\) of \(T_0\) approach spaces. The main result of this paper states that moreover \({\bf{Sob}}\) is firmly \({\mathcal{U}}\)-reflective in \({\bf{Ap}}_{0}\) for the class \({\mathcal{U}}\) of epimorphic embeddings. ‘Firm \({\mathcal{U}}\)-reflective’ is a notion introduced in [3] by G.C.L. Brümmer and E. Giuli and is inspired by the exemplary behaviour of the usual completion in the category \({\bf{Unif}}_{0}\) of Hausdorff uniform spaces with uniformly continuous maps. It means that \({\bf{Sob}}\) is \({\mathcal{U}}\)-reflective in \({\bf{Ap}}_{0}\) and that the reflector \(\epsilon\) is such that \(f:X \rightarrow Y\) belongs to \({\mathcal{U}}\) if and only if \(\epsilon(f)\) is an isomorphism. Firm \({\mathcal{U}}\)-reflectiveness implies uniqueness of completion in the sense that whenever \(f:X \rightarrow Y\) is a map with \(f \in {\mathcal{U}}\) and \(Y\) sober, the associated \(f^*: \epsilon (X) \rightarrow Y\) is an isomorphism. Our result generalizes the fact that in the category \({\bf{Top}}_{0}\) the subconstruct of sober topological spaces is firmly reflective for the class \({\mathcal{U}}_b\) of b-dense embeddings in \({\bf{Top}}_{0}\). Also firmness in some other subconstructs of \({\bf{Ap}}_{0}\) will be easily obtained.
Similar content being viewed by others
References
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. Wiley, New York (1990)
Banaschewski, B., Lowen, R., Van Olmen, C.: Sober approach spaces. Topology Appl. to appear
Brümmer, G.C.L., Giuli, E.: A categorical concept of completion of objects. Comment. Math. Univ. Carolin. 33(1), 131–147 (1992)
Brümmer, G.C.L., Giuli, E., Herrlich, H.: Epireflections which are completions. Cahiers Topologie Géom. Différentielle Catég. XXXIII, 71–93 (1992)
Claes, V., Colebunders, E., Gerlo, A.: Epimorphisms and Cowellpoweredness for separated metrically generated theories. Acta Math. Hungar. to appear
Giuli, E.: Zariski closure, completeness and compactness. Topology Appl. to appear
Hoffmann, R.-E.: Charakterisierung nüchterner Räume. Manuscr. Math. 15(2), 185–191 (1975)
Johnstone, P.T.: Stone Spaces, Cambridge Studies in Advanced Math. 3. Cambridge University Press, Cambridge (1982)
Lowen, R.: Approach Spaces: The Missing Link in the Topology–Uniformity–Metric Triad, Oxford Mathematical Monographs. Oxford University Press (1997)
Pultr, A.: Frames. In: Hazewinkel, M. (ed.) Handbook of Algebra, vol. 3, pp. 791–857. Elsevier (2003)
Author information
Authors and Affiliations
Corresponding author
Additional information
A. Gerlo and C. Van Olmen are research assistants at the Fund of Scientific Research Vlaanderen (FWO). E. Vandersmissen is a research assistant supported by the FWO-grant G.0244.05.
Rights and permissions
About this article
Cite this article
Gerlo, A., Vandersmissen, E. & Van Olmen, C. Sober Approach Spaces are Firmly Reflective for the Class of Epimorphic Embeddings. Appl Categor Struct 14, 251–258 (2006). https://doi.org/10.1007/s10485-006-9014-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-006-9014-y