Abstract
In previous work it was shown that there is an epireflection ψ of the category of all compact normal, joinfit frames, with skeletal maps, in the full subcategory of frames which are also strongly projectable, and that ψ restricts to the epicompletion ε, which is the absolute reflection on compact regular frames. In the first part of this paper it is shown that ψ is a monoreflection and that the reflection map is, in fact, closed. Restricted to coherent frames and maps, ψ A can then be characterized as the least strongly projectable, coherent, normal, joinfit frame in which A can be embedded as a closed, coherent, and skeletal subframe. The second part discusses the role of the nucleus d in this context. On algebraic frames with coherent skeletal maps d becomes an epireflection. Further, it is shown that e = d · ψ epireflects the category of coherent, normal, joinfit frames, with coherent skeletal maps, in the subcategory of those frames which are also regular and strongly projectable, which are epicomplete. The action of e is not monoreflective.
Similar content being viewed by others
References
Banaschewski, B.: Compact regular frames and the Sikorski theorem. Kyungpook Math. J. 28(1), 1–14 (1988)
Banaschewski, B.: Pointfree topology and the spectra of f-rings. In: Holland, W.C., Martínez, J. (eds.) Ordered Algebraic Structures, pp. 123–148. Kluwer, Dordrecht (1997)
Banaschewski, B., Pultr, A.: Booleanization. Cahiers Topol. Géom. Différ. Catég. XXXVII-1, 41–60 (1996)
Carrera, R.E.: Operators on the category of Archimedean lattice-ordered groups with designated weak unit. Doctoral Dissertation, University of Florida, Gainesville (2004)
Gillman, L., Jerison, M.: Rings of continuous functions. In: Grad. Texts Math., vol. 43. Springer, Berlin (1976)
Hager, A.W., Martínez, J.: Patch-generated frames and projectable hulls. Appl. Categ. Structures 15, 49–80 (2007)
Herrlich, H., Strecker, G.: Category theory. In: Sigma Series Pure Math., vol. 1. Heldermann Verlag, Berlin (1979)
Johnstone, P.T.: Stone spaces. In: Cambridge Studies in Adv. Math., vol. 3. Cambridge University Press, Cambridge (1982)
Martínez, J.: Archimedean lattices. Algebra Universalis 3(fasc. 2), 247–260 (1973)
Martínez, J.: Unit and kernel systems in algebraic frames. Algebra Universalis 55, 13–43 (2006)
Martínez, J.: Archimedean frames, revisited. Comment. Math. Univ. Carolin 49(1), 25–44 (2008)
Martínez, J., Zenk, E.R.: When an algebraic frame is regular. Algebra Universalis 50, 231–257 (2003)
Martínez, J., Zenk, E.R.: Nuclear typings of frames vs spatial selectors. Appl. Categ. Structures 14, 35–61 (2006)
Martínez, J., Zenk, E.R.: Epicompletion in frames with skeletal maps, I: compact regular frames. Appl. Categ. Structures 16, 521–533 (2008)
Martínez, J., Zenk, E.R.: Epicompletion in frames with skeletal maps, II: compact normal, joinfit frames. Appl. Categ. Structures (2009, in press)
Pedicchio, M.C., Tholen, W.: Special Topics in Order, Topology, Algebra and Sheaf Theory. Cambridge University Press, Cambridge (2001)
Vermeulen, J.J.C.: A note on stably closed maps of locales. J. Pure Appl. Algebra 157, 335–339 (2001)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Martínez, J. Epicompletion in Frames with Skeletal Maps, III: When Maps are Closed. Appl Categor Struct 19, 489–504 (2011). https://doi.org/10.1007/s10485-009-9194-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-009-9194-3