The localic compact interval is an Escardó‐Simpson interval object

DOI10.1002/malq.201500090zbMath1472.54015arXiv1506.07995OpenAlexW3100820852MaRDI QIDQ5108135

Steven Vickers

Publication date: 29 April 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1506.07995

Mathematics Subject Classification ID

Complete metric spaces (54E50) Topoi (18B25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A computational model for metric spaces
• A globalization of the Hahn-Banach theorem
• Proper maps of locales
• Information systems for continuous posets
• Localic completion of generalized metric spaces II: Powerlocales
• Sketches for arithmetic universes