Polynomial functors and polynomial monads

DOI10.1017/S0305004112000394zbMath1278.18013arXiv0906.4931OpenAlexW2129064963WikidataQ61834692 ScholiaQ61834692MaRDI QIDQ4902505

Nicola Gambino, Joachim Kock

Publication date: 15 January 2013

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0906.4931

zbMATH Keywords

Cartesian closed categoriesoperadspolynomial functorsframed bicategory

Mathematics Subject Classification ID

Related Items (44)

Data Types with Symmetries and Polynomial Functors over Groupoids ⋮ Homotopy theory of algebras of substitudes and their localisation ⋮ Polynomial monads and delooping of mapping spaces ⋮ On distributivity in higher algebra I: the universal property of bispans ⋮ Universal properties of bicategories of polynomials ⋮ Categorification of Hopf algebras of rooted trees. ⋮ Differential 2-rigs ⋮ Polynomial Functors and Shannon Entropy ⋮ Bi-incomplete Tambara functors as \(\mathcal{O}\)-commutative monoids ⋮ Canonicity and homotopy canonicity for cubical type theory ⋮ Yoneda lemma for simplicial spaces ⋮ Relative full completeness for bicategorical Cartesian closed structure ⋮ Unnamed Item ⋮ The essence of ornaments ⋮ Polynomial functors and combinatorial Dyson–Schwinger equations ⋮ Unnamed Item ⋮ Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees. ⋮ Companions, Codensity and Causality ⋮ Categorical constructions related to finite groups ⋮ Decomposing Comonad Morphisms. ⋮ Session coalgebras: a coalgebraic view on session types and communication protocols ⋮ Homotopy-Theoretic Models of Type Theory ⋮ Incomplete Tambara functors ⋮ Monads in double categories ⋮ Syntactic approaches to opetopes ⋮ Opetopic algebras I: Algebraic structures on opetopic sets ⋮ A linear category of polynomial diagrams ⋮ Database queries and constraints via lifting problems ⋮ Distributive laws via admissibility ⋮ The Frobenius condition, right properness, and uniform fibrations ⋮ Unnamed Item ⋮ The incidence comodule bialgebra of the Baez-Dolan construction ⋮ Functorial data migration ⋮ Polynomial functors and opetopes ⋮ Unnamed Item ⋮ Lax familial representability and lax generic factorizations ⋮ Faà di Bruno for operads and internal algebras ⋮ W-types in setoids ⋮ The universal exponentiable arrow ⋮ Variations on inductive-recursive definitions ⋮ Homotopy theory for algebras over polynomial monads ⋮ Unnamed Item ⋮ Natural models of homotopy type theory ⋮ The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives

Cites Work

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

This page was built for publication: Polynomial functors and polynomial monads