Polynomial functors and polynomial monads (Q4902505): Difference between revisions

@@ Property / cites work @@
+Containers: Constructing strictly positive types
@@ Property / cites work: Containers: Constructing strictly positive types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
+Normal rank
@@ Property / cites work @@
+Q3752561
@@ Property / cites work: Q3752561 / rank @@
+Normal rank
@@ Property / cites work @@
+Une théorie combinatoire des séries formelles
@@ Property / cites work: Une théorie combinatoire des séries formelles / rank @@
+Normal rank
@@ Property / cites work @@
+On multiplicative transfer
@@ Property / cites work: On multiplicative transfer / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian monads on toposes
@@ Property / cites work: Cartesian monads on toposes / rank @@
+Normal rank
@@ Property / cites work @@
+The petit topos of globular sets
@@ Property / cites work: The petit topos of globular sets / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for shape
@@ Property / cites work: A semantics for shape / rank @@
+Normal rank
@@ Property / cites work @@
+The formal theory of monads
@@ Property / cites work: The formal theory of monads / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+Representable multicategories
@@ Property / cites work: Representable multicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Strong functors and monoidal monads
@@ Property / cites work: Strong functors and monoidal monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718566
@@ Property / cites work: Q5718566 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal functors, power series and \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of topoi
@@ Property / cites work: Aspects of topoi / rank @@
+Normal rank
@@ Property / cites work @@
+The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories
+Normal rank
@@ Property / cites work @@
+Connected limits, familial representability and Artin glueing
+Normal rank
@@ Property / cites work @@
+Witt vectors and Tambara functors
@@ Property / cites work: Witt vectors and Tambara functors / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Lambda\)-cofibration categories and the homotopy categories of global actions and simplicial complexes
+Normal rank
@@ Property / cites work @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531288
@@ Property / cites work: Q4531288 / rank @@
+Normal rank
@@ Property / cites work @@
+The formal theory of monads. II
@@ Property / cites work: The formal theory of monads. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375247
@@ Property / cites work: Q4375247 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524260
@@ Property / cites work: Q4524260 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial functors and opetopes
@@ Property / cites work: Polynomial functors and opetopes / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank