Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294): Difference between revisions

@@ Property / arXiv ID @@
+.0828
@@ Property / arXiv ID: 1210.0828 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417849
@@ Property / cites work: Q4417849 / rank @@
+Normal rank
@@ Property / cites work @@
+Containers: Constructing strictly positive types
@@ Property / cites work: Containers: Constructing strictly positive types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457445
@@ Property / cites work: Q4457445 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3614500
@@ Property / cites work: Q3614500 / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed containers
@@ Property / cites work: Indexed containers / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Types in Homotopy Type Theory
@@ Property / cites work: Inductive Types in Homotopy Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762102
@@ Property / cites work: Q2762102 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Dimensional Algebra VII: Groupoidification
@@ Property / cites work: Higher-Dimensional Algebra VII: Groupoidification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375247
@@ Property / cites work: Q4375247 / rank @@
+Normal rank
@@ Property / cites work @@
+The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+The cartesian closed bicategory of generalised species of structures
+Normal rank
@@ Property / cites work @@
+Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial functors and polynomial monads
@@ Property / cites work: Polynomial functors and polynomial monads / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional models of type theory
@@ Property / cites work: Two-dimensional models of type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Univalence in locally Cartesian closed categories
@@ Property / cites work: Univalence in locally Cartesian closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753682
@@ Property / cites work: Q2753682 / rank @@
+Normal rank
@@ Property / cites work @@
+Two applications of analytic functors
@@ Property / cites work: Two applications of analytic functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247303
@@ Property / cites work: Q4247303 / 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 @@
+Q3752561
@@ Property / cites work: Q3752561 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-categories and Kan complexes
@@ Property / cites work: Quasi-categories and Kan complexes / rank @@
+Normal rank
@@ Property / cites work @@
+Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Local fibred right adjoints are polynomial
@@ Property / cites work: Local fibred right adjoints are polynomial / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Functors and Trees
@@ Property / cites work: Polynomial Functors and Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Categorification of Hopf algebras of rooted trees.
+Normal rank
@@ Property / cites work @@
+Polynomial functors and opetopes
@@ Property / cites work: Polynomial functors and opetopes / rank @@
+Normal rank
@@ Property / cites work @@
+On the Hopf algebra strucutre of perturbative quantum field theories
+Normal rank
@@ Property / cites work @@
+Q3159161
@@ Property / cites work: Q3159161 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+A set constructor for inductive sets in Martin-Löf's type theory
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+On multiplicative transfer
@@ Property / cites work: On multiplicative transfer / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomials in categories with pullbacks
@@ Property / cites work: Polynomials in categories with pullbacks / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318026
@@ Property / Wikidata QID: Q113318026 / rank @@
+Normal rank