Cosheaves and connectedness in formal topology (Q651322): Difference between revisions

@@ Property / cites work @@
+Homology theory for locally compact spaces
@@ Property / cites work: Homology theory for locally compact spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Singular coverings of toposes
@@ Property / cites work: Singular coverings of toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive theory of the lower power locale
@@ Property / cites work: Constructive theory of the lower power locale / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive metrisability in point-free topology.
+Normal rank
@@ Property / cites work @@
+The locally connected coclosure of a Grothendieck topos
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322276
@@ Property / cites work: Q3322276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous categories and exponentiable toposes
@@ Property / cites work: Continuous categories and exponentiable toposes / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the Galois theory of Grothendieck
@@ Property / cites work: An extension of the Galois theory of Grothendieck / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural investigation on formal topology: coreflection of formal covers and exponentiability
+Normal rank
@@ Property / cites work @@
+Q3714248
@@ Property / cites work: Q3714248 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous domains as formal spaces
@@ Property / cites work: Continuous domains as formal spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Tychonoff's theorem in the framework of formal topologies
+Normal rank
@@ Property / cites work @@
+Partial Horn logic and Cartesian categories
@@ Property / cites work: Partial Horn logic and Cartesian categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3693678
@@ Property / cites work: Q3693678 / rank @@
+Normal rank
@@ Property / cites work @@
+The problem of the formalization of constructive topology
+Normal rank
@@ Property / cites work @@
+Proper maps of locales
@@ Property / cites work: Proper maps of locales / rank @@
+Normal rank
@@ Property / cites work @@
+Topical categories of domains
@@ Property / cites work: Topical categories of domains / rank @@
+Normal rank
@@ Property / cites work @@
+Sublocales in formal topology
@@ Property / cites work: Sublocales in formal topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870815
@@ Property / cites work: Q4870815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156489
@@ Property / cites work: Q3156489 / rank @@
+Normal rank
@@ Property / cites work @@
+Compactness in locales and in formal topology
@@ Property / cites work: Compactness in locales and in formal topology / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive points of powerlocales
@@ Property / cites work: Constructive points of powerlocales / rank @@
+Normal rank