Abstract
We prove, under the axiom of countable choice, that the l-ring structure of C(L) of real-valued continuous functions on a locale L determines the completely regular Lindelöf reflection lL of L up to isomorphism.
Similar content being viewed by others
References
Banaschewski, B.: The real numbers in pointfree topology, Textos de Mtematica Serie B, No. 12, Departamento de matematica da Universidade de Coimbra, 1997.
Banaschewski, B.: Gelfand and exchange rings: Their spectra in pointfree topology, Arabian J. Sci. Engrg. 25 (2000), 3–22.
Banaschewski, B. and Gilmour, C.: Pseudocompactness and the cozero part of a frame, Comment. Math. Univ. Carolinae 3 (1996), 311–322.
Madden, J. and Vermeer, J.: Lindelöf locales and realcompactness, Math. Proc. Cambridge Philos. Soc. 99 (1986), 473–480.
Wei, H.: A constructive proof of the Gelfand–Kolmogorov theorem, Appl. Categ. Structures 12 (2004), 197–202.
Wei, H. and Plewe, T.: Directed inverse limits of spatial locales, Proc. Amer. Math. Soc. 10 (2002), 2811–2814.
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classifications (2000)
54C30, 46E25.
Project supported by NSF of China (Grant No. 10271056 and Grant No. 10331011).
Rights and permissions
About this article
Cite this article
Wei, H. Remarks on Completely Regular Lindelöf Reflection of Locales. Appl Categor Struct 13, 71–77 (2005). https://doi.org/10.1007/s10485-004-8125-6
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s10485-004-8125-6