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

category; continuous maps; coreflective subcategory; locale; nucleus; patch construction; patch frame; perfect map; regular locally compact locale; spectral locale; stably compact locale; stably locally compact locale; Stone locale

Mathematics Subject Classification ID

18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)

54B30: Categorical methods in general topology

06D22: Frames, locales

Related Items

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

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