Completely regular proper reflection of locales over a given locale
HTML articles powered by AMS MathViewer
- by Wei He and MaoKang Luo PDF
- Proc. Amer. Math. Soc. 141 (2013), 403-408 Request permission
Abstract:
Let $X$ be a completely regular locale. We present a construction which shows that every locale $f: Y \rightarrow X$ over $X$ has a completely regular proper reflection in the slice category $Loc/ X$ and the reflection map is a dense embedding if and only if $Y$ is completely regular.References
- M. P. Fourman and R. J. Grayson, Formal spaces, The L. E. J. Brouwer Centenary Symposium (Noordwijkerhout, 1981) Stud. Logic Found. Math., vol. 110, North-Holland, Amsterdam, 1982, pp. 107–122. MR 717242, DOI 10.1016/S0049-237X(09)70126-0
- Peter T. Johnstone, Sketches of an elephant: a topos theory compendium. Vol. 2, Oxford Logic Guides, vol. 44, The Clarendon Press, Oxford University Press, Oxford, 2002. MR 2063092
- B. Banaschewski and C. J. Mulvey, Stone-Čech compactification of locales. I, Houston J. Math. 6 (1980), no. 3, 301–312. MR 597771
- B. Banaschewski, Compactification of frames, Math. Nachr. 149 (1990), 105–115. MR 1124796, DOI 10.1002/mana.19901490107
- A. Pultr and A. Tozzi, Notes on Kuratowski-Mrówka theorems in point-free context, Cahiers Topologie Géom. Différentielle Catég. 33 (1992), no. 1, 3–14 (English, with French summary). MR 1163423
- J. J. C. Vermeulen, Proper maps of locales, J. Pure Appl. Algebra 92 (1994), no. 1, 79–107. MR 1259670, DOI 10.1016/0022-4049(94)90047-7
- J. J. C. Vermeulen, A note on stably closed maps of locales, J. Pure Appl. Algebra 157 (2001), no. 2-3, 335–339. MR 1812059, DOI 10.1016/S0022-4049(99)00171-1
- I. Moerdijk and J. J. C. Vermeulen, Proper maps of toposes, Mem. Amer. Math. Soc. 148 (2000), no. 705, x+108. MR 1787303, DOI 10.1090/memo/0705
- Wei He and MaoKang Luo, A note on proper maps of locales, Appl. Categ. Structures 19 (2011), no. 2, 505–510. MR 2776633, DOI 10.1007/s10485-009-9196-1
- Wei He, A constructive proof of the Gelfand-Kolmogorov theorem, Appl. Categ. Structures 12 (2004), no. 2, 197–202. MR 2044148, DOI 10.1023/B:APCS.0000018250.65771.5e
Additional Information
- Wei He
- Affiliation: Institute of Mathematics, Nanjing Normal University, Nanjing, 210046, People’s Republic of China
- Email: weihe@njnu.edu.cn
- MaoKang Luo
- Affiliation: Institute of Mathematics, Sichuan University, Chengdu, 610064, People’s Republic of China
- Received by editor(s): November 21, 2010
- Received by editor(s) in revised form: May 4, 2011, and June 28, 2011
- Published electronically: June 5, 2012
- Additional Notes: This project was supported by NSF of China
- Communicated by: Lev Borisov
- © Copyright 2012 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 141 (2013), 403-408
- MSC (2010): Primary 06D22, 18B25, 54C10
- DOI: https://doi.org/10.1090/S0002-9939-2012-11329-2
- MathSciNet review: 2996945