The regular-locally compact coreflection of a stably locally compact locale

DOI10.1016/S0022-4049(99)00172-3zbMath0973.06011MaRDI QIDQ5928473

Martín Hötzel Escardó

Publication date: 19 November 2001

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

categorycontinuous mapscoreflective subcategorylocalenucleuspatch constructionpatch frameperfect mapregular locally compact localespectral localestably compact localestably locally compact localeStone locale

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical methods in general topology (54B30) Frames, locales (06D22)

Related Items

Yet another patch construction for continuous frames and connections to the Fell compactification ⋮ Presenting de Groot duality of stably compact spaces ⋮ On a generalization of pointfree realcompactness ⋮ The patch construction is dual to algebraic DCPO representation ⋮ Notions of local compactness and smallest compactifications of biframes ⋮ A representation of stably compact spaces, and patch topology. ⋮ Constructive metrisability in point-free topology. ⋮ A point-free characterisation of Bishop locally compact metric spaces ⋮ A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure. ⋮ On the relationship between compact regularity and Gentzen's cut rule ⋮ Entailment systems for stably locally compact locales ⋮ Stably Compact Spaces and Closed Relations ⋮ Isocompactness in the category of locales. ⋮ Étale groupoids as germ groupoids and their base extensions ⋮ On the computational content of the Lawson topology ⋮ Nuclear typing of frames vs spatial selectors ⋮ Point-sensitive and point-free patch constructions ⋮ Boolean and classical restriction categories ⋮ Canonical extensions of locally compact frames ⋮ A short note on nearly perfect maps of locales ⋮ Compactly generated Hausdorff locales ⋮ On the parallel between the suplattice and preframe approaches to locale theory ⋮ Canonical Extensions, Esakia Spaces, and Universal Models ⋮ Function-space compactifications of function spaces

Cites Work

• Logic colloquium '77. Proceedings of the colloquium held in Wroclaw, August 1977
• The Gleason cover of a topos. II
• Modal operators on Heyting algebras
• Properly injective spaces and function spaces
• Proper maps of locales
• An extension of the Galois theory of Grothendieck
• Stably continuous frames
• Stable Compactification I
• Ordered Topological Spaces and the Representation of Distributive Lattices
• The Spectral Theory of Distributive Continuous Lattices
• Constructive points of powerlocales
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Atomless Parts of Spaces.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item