Abstract
We study isocompactness in Loc defined, exactly as in Top, by requiring that every countably compact closed sublocale be compact. This is a genuine extension of the same-named topological concept since every Boolean (or, even more emphatically, every paracompact) locale is isocompact. A slightly stronger variant is defined by decreeing that the closure of every complemented countably compact sublocale be compact. Dropping the adjective “complemented” yields a formally even stronger property, which we show to be preserved by finite products. Metrizable locales (or, more generally, perfectly normal locales) do not distinguish between the three variants of isocompactness. Each of the stronger variants of isocompactness travels across a proper map of locales, and in the opposite direction if the map is a surjection in Loc.
Similar content being viewed by others
References
Bacon, P.: The compactness of countably compact spaces. Pac. J. Math. 32(3), 587–592 (1970).
Ball, R.N., Walters-Wayland, J.: C- and C∗-quotients in pointfree topology. Dissertationes Mathematicae (Rozprawy Mat.) vol. 412, p. 62, 2002.
Banaschewski, B., Gilmour, C.: Pseudocompactness and the cozero part of a frame. Com. Math. Univ. Carolin. 37(3), 577–587 (1996).
Banaschewski, B., Gilmour, C.: Realcompactness and the cozero part of a frame. Appl. Categ. Struct. 9, 395–417 (2001).
Banaschewski, B., Pultr, A.: Paracompactness revisited. Appl. Categor. Struct. 1, 181–190 (1993).
Beazer, R., MacNab, S.: Modal extensions of Heyting algebras. Colloq. Math. 41, 1–12 (1979).
Dowker, C.H., Strauss, D.: Paracompact frames and closed maps. Symp. Math. 16, 93–116 (1975).
Dube, T.: An algebraic view of weaker forms of realcompactness. Algebra Univers. 55, 187–202 (2006).
Dube, T., Matutu, P.: A few points on pointfree pseudocompactness. Quaest. Math. 30, 451–464 (2007).
Escardó, M.H.: The regular-locally compact coreflection of a stably locally compact locale. J. Pure Appl. Algebra. 157, 41–55 (2005).
Gutiérrez Garcia, J., Kubiak, T., Picado, J.: Pointfree forms of Dowker’s and Michael’s insertion theorems. J. Pure Appl. Algebra. 213, 98–108 (2009).
Eckerston, F.W., Garcia-Ferreira, S., Sanchis, M., Watson, S.: An isocompact Tychonoff space whose square is not isocompact. Top Proc. 22, 181–190 (1997).
Harris, D.: Extension closed and cluster closed subspaces. Canad. J. Math. 24, 1132–1136 (1972).
Hong, S.S.: Convergence in frames. Kyungpook Math. J. 35, 85–91 (1995).
Isbell, J.: Atomless parts of spaces. Math. Scand. 31, 5–32 (1972).
Isbell, J.: First steps in descriptive theory of locales. Trans. Amer. Math. Soc. 327, 353–371 (1991).
Johnstone, P.T.: Stone spaces. Cambridge University Press, Cambridge (1982).
Picado, J., Pultr, A.: Frames and locales: topology without points, frontiers in mathematics. Birkhäuser, Cambridge (2012).
Sakai, M.: On cl-isocompactness and weak Borel completeness. Tsukuba J. Math. 8(2), 377–382 (1984).
Vermeulen, J.J.C.: Proper maps of locales. J. Pure Appl. Algebra. 92, 79–107 (1994).
Wei, H., Maokang, L.: Completely regular proper reflection of locales over a given locale. Proc. Amer. Math. Soc. 141, 403–408 (2013).
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Professor George Janelidze, on his 60th birthday.
Rights and permissions
About this article
Cite this article
Dube, T., Naidoo, I. & Ncube, C.N. Isocompactness in the Category of Locales. Appl Categor Struct 22, 727–739 (2014). https://doi.org/10.1007/s10485-013-9341-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-013-9341-8