Gabriel-Ulmer duality for topoi and its relation with site presentations (Q831310): Difference between revisions

@@ Property / cites work @@
+A classification of accessible categories
@@ Property / cites work: A classification of accessible categories / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theories of quasivarieties
@@ Property / cites work: Algebraic theories of quasivarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3972720
@@ Property / cites work: Q3972720 / rank @@
+Normal rank
@@ Property / cites work @@
+Noncommutative projective schemes
@@ Property / cites work: Noncommutative projective schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+Left exact presheaves on a small pretopos
@@ Property / cites work: Left exact presheaves on a small pretopos / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888144
@@ Property / cites work: Q4888144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4767442
@@ Property / cites work: Q4767442 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories, Sites, Toposes
@@ Property / cites work: Theories, Sites, Toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic characterizations of various classes of locally presentable categories
+Normal rank
@@ Property / cites work @@
+Regular and exact completions
@@ Property / cites work: Regular and exact completions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790677
@@ Property / cites work: Q4790677 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of actions and Morita equivalence
@@ Property / cites work: Categories of actions and Morita equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian logic
@@ Property / cites work: Cartesian logic / rank @@
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+Lex colimits
@@ Property / cites work: Lex colimits / rank @@
+Normal rank
@@ Property / cites work @@
+General Functorial Semantics, I
@@ Property / cites work: General Functorial Semantics, I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4679165
@@ Property / cites work: Q4679165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3986545
@@ Property / cites work: Q3986545 / rank @@
+Normal rank
@@ Property / cites work @@
+Gabriel–Ulmer duality and Lawvere theories enriched over a general base
+Normal rank
@@ Property / cites work @@
+A generalization of the Gabriel-Popescu theorem
@@ Property / cites work: A generalization of the Gabriel-Popescu theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On the Tensor Product of Linear Sites and Grothendieck Categories
+Normal rank
@@ Property / cites work @@
+Strong conceptual completeness for first-order logic
+Normal rank
@@ Property / cites work @@
+Accessible Categories: The Foundations of Categorical Model Theory
+Normal rank
@@ Property / cites work @@
+Some Results on Locally Finitely Presentable Categories
+Normal rank
@@ Property / cites work @@
+Q4893912
@@ Property / cites work: Q4893912 / rank @@
+Normal rank
@@ Property / cites work @@
+Grothendieck categories as a bilocalization of linear sites
+Normal rank
@@ Property / cites work @@
+Locally finitely presented categories of sheaves
@@ Property / cites work: Locally finitely presented categories of sheaves / rank @@
+Normal rank
@@ Property / cites work @@
+Exact completions and small sheaves
@@ Property / cites work: Exact completions and small sheaves / rank @@
+Normal rank
@@ Property / cites work @@
+Noncommutative curves and noncommutative surfaces
@@ Property / cites work: Noncommutative curves and noncommutative surfaces / rank @@
+Normal rank