Skip to main content
Springer Nature Link
Log in

On the Function Ring Functor in Pointfree Topology

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

    We’re sorry, something doesn't seem to be working properly.

    Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Abstract

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 ℓ-ring homomorphisms into R, and the other based on a new notion of support specific to f-rings.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

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.

    Article  Google Scholar 

  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.

  3. Banaschewski, B.: Prepositional logic, frames, and fuzzy algebra, Quaestiones Math. 22 (1999), 481–508.

    Google Scholar 

  4. Banaschewski, B.: A uniform view of localic realcompactness, J. Pure Appl. Algebra 143 (1999), 49–68.

    Article  Google Scholar 

  5. Banaschewski, B.: The axiom of countable choice and pointfree topology, Appl. Categ. Structures 9 (2001), 245–258.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  8. Isbell, J. R.: Atomless parts of spaces, Math. Scand. 31 (1972), 5–32.

    Google Scholar 

  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.

  12. Madden, J. J.: Frames associated with an abelian ℓ-group, Trans. Amer. Math. Soc. 331 (1992), 265–279.

    Google Scholar 

  13. Madden, J. J. and Vermeer, J.: Lindelöf locales and realcompactness, Proc. Cambridge Philos. Soc. 99 (1986), 473–480.

    Google Scholar 

  14. Vickers, S.: Topology via Logic, Cambridge Tracts in Theoret. Comput. Sci. 5, Cambridge University Press, 1985.

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics & Statistics, McMaster University, Hamilton, ON, L8S 4K1, Canada

    Bernhard Banaschewski

Authors
  1. Bernhard Banaschewski
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Bernhard Banaschewski.

Additional information

Dedicated, with the best of wishes, to my friend Christopher J. Mulvey on the occasion of his retirement

Mathematics Subject Classifications (2000)

06F25, 54C30, 54H10.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Banaschewski, B. On the Function Ring Functor in Pointfree Topology. Appl Categor Struct 13, 305–328 (2005). https://doi.org/10.1007/s10485-005-5795-7

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-005-5795-7

Keywords