Algebraic theories and commutativity in a sheaf topos (Q2307525): 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 @@
+Borel structures for function spaces
@@ Property / cites work: Borel structures for function spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679011
@@ Property / cites work: Q5679011 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal algebra in a closed category
@@ Property / cites work: Universal algebra in a closed category / rank @@
+Normal rank
@@ Property / cites work @@
+On closed categories of functors
@@ Property / cites work: On closed categories of functors / rank @@
+Normal rank
@@ Property / cites work @@
+A reflection theorem for closed categories
@@ Property / cites work: A reflection theorem for closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143491
@@ Property / cites work: Q4143491 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4871252
@@ Property / cites work: Q4871252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3266045
@@ Property / cites work: Q3266045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592283
@@ Property / cites work: Q5592283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040131
@@ Property / cites work: Q4040131 / rank @@
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+Q5507553
@@ Property / cites work: Q5507553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+A Convenient Category for Higher-Order Probability Theory
+Normal rank
@@ Property / cites work @@
+Q4173541
@@ Property / cites work: Q4173541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100657
@@ Property / cites work: Q4100657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3324132
@@ Property / cites work: Q3324132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+On limit-preserving functors
@@ Property / cites work: On limit-preserving functors / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of Lawvere theory
@@ Property / cites work: Notions of Lawvere theory / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599205
@@ Property / cites work: Q5599205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5570958
@@ Property / cites work: Q5570958 / rank @@
+Normal rank
@@ Property / cites work @@
+Enriched algebraic theories and monads for a system of arities
+Normal rank
@@ Property / cites work @@
+Borel Structure in Groups and Their Duals
@@ Property / cites work: Borel Structure in Groups and Their Duals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704209
@@ Property / cites work: Q4704209 / rank @@
+Normal rank
@@ Property / cites work @@
+Framed bicategories and monoidal fibrations
@@ Property / cites work: Framed bicategories and monoidal fibrations / rank @@
+Normal rank
@@ Property / cites work @@
+Enriched indexed categories
@@ Property / cites work: Enriched indexed categories / rank @@
+Normal rank