Skip to main content
Log in

A Note on Proper Maps of Locales

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

Abstract

Let X and Y be completely regular locales. We show that the properness of a localic map f: X → Y can be characterized in terms of extension between compactifications.

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

Access this article

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

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Vermeulen, J.J.C.: Proper maps of locales. J. Pure Appl. Algebra 92, 79–107 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  2. Vermeulen, J.J.C.: A note on stably closed maps of locales. J. Pure Appl. Algebra 157, 335–339 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  3. Moerdijk, I., Vermeulen, J.J.C.: Proper maps of toposes. Mem. Am. Math. Soc. 705 (2000)

  4. Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)

    MATH  Google Scholar 

  5. Johnstone, P.T.: Sketches of an Elephent: A Topos Theory Compendium, vol. 2. Oxford Science Publications, Oxford (2002)

    Google Scholar 

  6. Banaschewski, B.: Compactification of frames. Math. Nachr. 149, 105–116 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  7. He, W.: A constructive proof of the Gelfand-Kolmogorov theorem. Appl. Categ. Struct. 12, 197–202 (2004)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wei He.

Additional information

Project supported by NSF of China(10731050).

Rights and permissions

Reprints and permissions

About this article

Cite this article

He, W., Luo, M. A Note on Proper Maps of Locales. Appl Categor Struct 19, 505–510 (2011). https://doi.org/10.1007/s10485-009-9196-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-009-9196-1

Keywords

Mathematics Subject Classifications (2000)

Navigation