Polynomial functors and polynomial monads

DOI10.1017/S0305004112000394zbMath1278.18013arXiv0906.4931WikidataQ61834692 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 categories; operads; polynomial functors; framed bicategory

Mathematics Subject Classification ID

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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