Polynomials in categories with pullbacks

MaRDI QIDQ5261927zbMATH OpenFDO

Authors Mark Weber

Publication date 8 July 2015

Full work available at URL https://arxiv.org/abs/1106.1983, http://www.emis.de/journals/TAC/volumes/30/16/30-16abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

2-monadspolynomial functors

Mathematics Subject Classification ID

General theory of categories and functors (18A99)

Abstract: The theory developed by Gambino and Kock, of polynomials over a locally cartesian closed category E, is generalised for E just having pullbacks. The 2-categorical analogue of the theory of polynomials and polynomial functors is given, and its relationship with Street's theory of fibrations within 2-categories is explored. Johnstone's notion of "bagdomain data" is adapted to the present framework to make it easier to completely exhibit examples of polynomial monads.

Recommendations

• Polynomial functors and polynomial monads
• Universal properties of bicategories of polynomials
• scientific article; zbMATH DE number 6981655
• A monadic approach to polycategories
• Polynomials as spans

Cited in

(27)

• The universal exponentiable arrow
• Regular patterns, substitudes, Feynman categories and operads
• Incomplete Tambara functors
• scientific article; zbMATH DE number 6981655 (Why is no real title available?)
• Categorical pullbacks
• Polynomials as spans
• Algebraic Kan extensions along morphisms of internal algebra classifiers
• Variation on a comprehensive theme
• Dirichlet Polynomials form a Topos
• A Cartesian bicategory of polynomial functors in homotopy type theory
• Categorification of Hopf algebras of rooted trees.
• Three easy pieces: imaginary seminar talks in honour of Bob Rosebrugh
• Universal properties of bicategories of polynomials
• scientific article; zbMATH DE number 3893382 (Why is no real title available?)
• The incidence comodule bialgebra of the Baez-Dolan construction
• Directed containers as categories
• Lax familial representability and lax generic factorizations
• A Linear Category of Polynomial Functors (extensional part)
• Polynomial functors and polynomial monads
• Bundle functors and fibrations
• Faà di Bruno for operads and internal algebras
• Data types with symmetries and polynomial functors over groupoids
• Decomposing Comonad Morphisms.
• Local fibred right adjoints are polynomial
• Distributive laws via admissibility
• Homotopy theory for algebras over polynomial monads
• Categories with families: unityped, simply typed, and dependently typed

This page was built for publication: Polynomials in categories with pullbacks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261927)