×

On the function ring functor in pointfree topology. (English) Zbl 1158.54308

Summary: It is shown that the familiar existence of a left adjoint to the functor from the category of frames to the category of archimedean commutative \(f\)-rings with unit provided by the rings of pointfree continuous real-valued functions is already a consequence of a minimal amount of entirely obvious information, and this is then used to obtain unexpectedly simple proofs for a number of results concerning these function rings, along with their counterparts for the rings of integer-valued continuous functions in this setting. In addition, two different concrete descriptions are given for the left adjoint in question, one in terms of generators and relations motivated by the propositional theory of \(\ell\)-ring homomorphisms into \(\mathbb{R}\), and the other based on a new notion of support specific to \(f\)-rings.

MSC:

54C30 Real-valued functions in general topology
06F25 Ordered rings, algebras, modules
54H10 Topological representations of algebraic systems
06D22 Frames, locales
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Ball, R. N. and Hager, A. W.: On the localic Yosida representation of an archimedean lattice-ordered group with weak order unit, J. Pure Appl. Algebra 70 (1991), 17–43. · Zbl 0732.06009
[2] Banaschewski, B.: The real numbers in point free topology, Textos de Matemática Serie B, No. 12, Departamento de Matemática da Universidade de Coimbra, 1997. · Zbl 0891.54009
[3] Banaschewski, B.: Prepositional logic, frames, and fuzzy algebra, Quaestiones Math. 22 (1999), 481–508. · Zbl 0963.03089
[4] Banaschewski, B.: A uniform view of localic realcompactness, J. Pure Appl. Algebra 143 (1999), 49–68. · Zbl 0953.54026
[5] Banaschewski, B.: The axiom of countable choice and pointfree topology, Appl. Categ. Structures 9 (2001), 245–258. · Zbl 0976.03054
[6] Banaschewski, B.: Uniform completion in pointfree topology, in Topological and Algebraic Structures in Fuzzy Sets, Proceedings Linz 1999, Kluwer Academic Publishers (to appear).
[7] Banaschewski, B. and Gilmour, C.: Realcompactness and the cozero part of a frame, Appl. Categ. Structures 9 (2001), 395–417. · Zbl 0978.54019
[8] Isbell, J. R.: Atomless parts of spaces, Math. Scand. 31 (1972), 5–32. · Zbl 0246.54028
[9] Johnstone, P. T.: Stone Spaces, Cambridge Studies in Adv. Math. 3, Cambridge University Press, 1982.
[10] Joyal, A.: Theorie des topos et le théorème de Barr, Tagungsbericht, Category Theory Meeting, Oberwolfach, 1977.
[11] Mac Lane, S.: Categories for the Working Mathematician, Graduate Texts in Math. 5, Springer-Verlag, 1971. · Zbl 0232.18001
[12] Madden, J. J.: Frames associated with an abelian -group, Trans. Amer. Math. Soc. 331 (1992), 265–279. · Zbl 0765.54029
[13] Madden, J. J. and Vermeer, J.: Lindelöf locales and realcompactness, Proc. Cambridge Philos. Soc. 99 (1986), 473–480. · Zbl 0603.54021
[14] Vickers, S.: Topology via Logic, Cambridge Tracts in Theoret. Comput. Sci. 5, Cambridge University Press, 1985.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.