Polynomials in categories with pullbacks

zbMATH Open1330.18002arXiv1106.1983MaRDI QIDQ5261927FDOQ5261927

Mark Weber

Publication date: 8 July 2015

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.

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

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

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

zbMATH Keywords

2-monadspolynomial functors

Mathematics Subject Classification ID

General theory of categories and functors (18A99)

Cited In (22)

• Regular patterns, substitudes, Feynman categories and operads
• Faà di Bruno for operads and internal algebras
• A Cartesian bicategory of polynomial functors in homotopy type theory
• Algebraic Kan extensions along morphisms of internal algebra classifiers
• Variation on a comprehensive theme
• Directed Containers as Categories
• Distributive laws via admissibility
• Lax familial representability and lax generic factorizations
• The incidence comodule bialgebra of the Baez-Dolan construction
• Categories with Families: Unityped, Simply Typed, and Dependently Typed
• A Linear Category of Polynomial Functors (extensional part)
• Decomposing Comonad Morphisms.
• Polynomials as spans
• Bundle functors and fibrations
• The universal exponentiable arrow
• Incomplete Tambara functors
• Homotopy theory for algebras over polynomial monads
• Categorification of Hopf algebras of rooted trees.
• Data Types with Symmetries and Polynomial Functors over Groupoids
• Title not available (Why is that?)
• Title not available (Why is that?)
• Universal properties of bicategories of polynomials

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)