Pitts monads and a lax descent theorem (Q2260278): Difference between revisions

@@ Property / cites work @@
+Definability and descent
@@ Property / cites work: Definability and descent / rank @@
+Normal rank
@@ Property / cites work @@
+Molecular toposes
@@ Property / cites work: Molecular toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4773848
@@ Property / cites work: Q4773848 / rank @@
+Normal rank
@@ Property / cites work @@
+The symmetric topos
@@ Property / cites work: The symmetric topos / rank @@
+Normal rank
@@ Property / cites work @@
+Singular coverings of toposes
@@ Property / cites work: Singular coverings of toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Properly injective spaces and function spaces
@@ Property / cites work: Properly injective spaces and function spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145861
@@ Property / cites work: Q4145861 / 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 @@
+Monads for which structures are adjoint to units
@@ Property / cites work: Monads for which structures are adjoint to units / rank @@
+Normal rank
@@ Property / cites work @@
+Lax proper maps of locales
@@ Property / cites work: Lax proper maps of locales / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of a conjecture of A. Pitts
@@ Property / cites work: Proof of a conjecture of A. Pitts / rank @@
+Normal rank
@@ Property / cites work @@
+Proper maps of toposes
@@ Property / cites work: Proper maps of toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3693678
@@ Property / cites work: Q3693678 / rank @@
+Normal rank
@@ Property / cites work @@
+Proper maps of locales
@@ Property / cites work: Proper maps of locales / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870815
@@ Property / cites work: Q4870815 / rank @@
+Normal rank
@@ Property / cites work @@
+Cosheaves and connectedness in formal topology
@@ Property / cites work: Cosheaves and connectedness in formal topology / rank @@
+Normal rank
@@ Property / cites work @@
+Descent and duality
@@ Property / cites work: Descent and duality / rank @@
+Normal rank