A characterization of the left exact categories whose exact completions are toposes (Q1861488): Difference between revisions

@@ Property / author @@
+Matias Menni
@@ Property / author: Matias Menni / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q112120951
@@ Property / Wikidata QID: Q112120951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858541
@@ Property / cites work: Q4858541 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact categories and categories of sheaves
@@ Property / cites work: Exact categories and categories of sheaves / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936141
@@ Property / cites work: Q4936141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / rank @@
+Normal rank
@@ Property / cites work @@
+Some free constructions in realizability and proof theory
+Normal rank
@@ Property / cites work @@
+Q4740070
@@ Property / cites work: Q4740070 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed exact completions
@@ Property / cites work: Locally cartesian closed exact completions / rank @@
+Normal rank
@@ Property / cites work @@
+Regular and exact completions
@@ Property / cites work: Regular and exact completions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145861
@@ Property / cites work: Q4145861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619069
@@ Property / cites work: Q5619069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896510
@@ Property / cites work: Q4896510 / rank @@
+Normal rank
@@ Property / cites work @@
+Impredicativity entails untypedness
@@ Property / cites work: Impredicativity entails untypedness / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2
+Normal rank
@@ Property / cites work @@
+Cocomplete toposes whose exact completions are toposes
+Normal rank
@@ Property / cites work @@
+More exact completions that are toposes
@@ Property / cites work: More exact completions that are toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional realizability
@@ Property / cites work: Extensional realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Colimit completions and the effective topos
@@ Property / cites work: Colimit completions and the effective topos / rank @@
+Normal rank