Polynomials in categories with pullbacks

zbMath1330.18002arXiv1106.1983MaRDI QIDQ5261927

Mark Weber

Publication date: 8 July 2015

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

zbMATH Keywords

2-monadspolynomial functors

Mathematics Subject Classification ID

General theory of categories and functors (18A99)

Related Items

Algebraic Kan extensions along morphisms of internal algebra classifiers ⋮ Data Types with Symmetries and Polynomial Functors over Groupoids ⋮ Bundle functors and fibrations ⋮ Directed Containers as Categories ⋮ Variation on a comprehensive theme ⋮ Universal properties of bicategories of polynomials ⋮ Categorification of Hopf algebras of rooted trees. ⋮ Decomposing Comonad Morphisms. ⋮ Incomplete Tambara functors ⋮ Regular patterns, substitudes, Feynman categories and operads ⋮ Distributive laws via admissibility ⋮ Unnamed Item ⋮ The incidence comodule bialgebra of the Baez-Dolan construction ⋮ Lax familial representability and lax generic factorizations ⋮ Faà di Bruno for operads and internal algebras ⋮ The universal exponentiable arrow ⋮ Homotopy theory for algebras over polynomial monads ⋮ Categories with Families: Unityped, Simply Typed, and Dependently Typed