Constructive points of powerlocales
From MaRDI portal
Publication:4359621
DOI10.1017/S0305004196001636zbMath0879.54008MaRDI QIDQ4359621
Publication date: 20 October 1997
Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)
Hyperspaces in general topology (54B20) Topological spaces and generalizations (closure spaces, etc.) (54A05) Topoi (18B25) Lattices (06B99)
Related Items
Continuity and geometric logic ⋮ Positivity relations on a locale ⋮ Sublocales in formal topology ⋮ Presenting de Groot duality of stably compact spaces ⋮ Pervin spaces and Frith frames: bitopological aspects and completion ⋮ CHOICE-FREE STONE DUALITY ⋮ Presenting quotient locales ⋮ Radical theory of Scott-open filters ⋮ Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions ⋮ The patch construction is dual to algebraic DCPO representation ⋮ Locatedness and overt sublocales ⋮ Cosheaves and connectedness in formal topology ⋮ Localic sup-lattices and tropological systems. ⋮ Entailment systems for stably locally compact locales ⋮ A universal characterization of the double powerlocale ⋮ Generalised powerlocales via relation lifting ⋮ The regular-locally compact coreflection of a stably locally compact locale ⋮ The connected Vietoris powerlocale ⋮ On the parallel between the suplattice and preframe approaches to locale theory ⋮ Compactness in locales and in formal topology