Localic completion of generalized metric spaces II: Powerlocales
From MaRDI portal
Publication:3145945
DOI10.4115/jla.2009.1.11zbMath1275.54008OpenAlexW2072046330MaRDI QIDQ3145945
Publication date: 17 December 2012
Published in: Journal of Logic and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4115/jla.2009.1.11
Complete metric spaces (54E50) Hyperspaces in general topology (54B20) Constructive and recursive analysis (03F60) Categorical logic, topoi (03G30) Frames, locales (06D22)
Related Items (7)
A constructive and functorial embedding of locally compact metric spaces into locales ⋮ CHOICE-FREE STONE DUALITY ⋮ The localic compact interval is an Escardó‐Simpson interval object ⋮ Point-free geometries: proximities and quasi-metrics ⋮ Locatedness and overt sublocales ⋮ On the Logic of Generalised Metric Spaces ⋮ The connected Vietoris powerlocale
This page was built for publication: Localic completion of generalized metric spaces II: Powerlocales