The localic compact interval is an Escardó‐Simpson interval object (Q5108135): Difference between revisions

@@ Property / arXiv ID @@
+.07995
@@ Property / arXiv ID: 1506.07995 / rank @@
+Normal rank
@@ Property / cites work @@
+A computational model for metric spaces
@@ Property / cites work: A computational model for metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978977
@@ Property / cites work: Q3978977 / rank @@
+Normal rank
@@ Property / cites work @@
+A globalization of the Hahn-Banach theorem
@@ Property / cites work: A globalization of the Hahn-Banach theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Proper maps of locales
@@ Property / cites work: Proper maps of locales / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Information systems for continuous posets
@@ Property / cites work: Information systems for continuous posets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701012
@@ Property / cites work: Q5701012 / rank @@
+Normal rank
@@ Property / cites work @@
+Localic completion of generalized metric spaces II: Powerlocales
+Normal rank
@@ Property / cites work @@
+Sketches for arithmetic universes
@@ Property / cites work: Sketches for arithmetic universes / rank @@
+Normal rank