Universal properties of bicategories of polynomials
From MaRDI portal
Abstract: We establish the universal properties of the bicategory of polynomials, considering both cartesian and general morphisms between these polynomials. A direct proof of these universal properties would be impractical due to the complicated coherence conditions arising from polynomial composition; however, in this paper we avoid most of these coherence conditions using the properties of generic bicategories. In addition, we give a new proof of the universal properties of the bicategory of spans, and also establish the universal properties of the bicategory of spans with invertible 2-cells; showing how these properties may be used to describe the universal properties of polynomials.
Recommendations
Cites work
- A full and faithful nerve for 2-categories
- Bicategories of spans and relations
- Containers: Constructing strictly positive types
- scientific article; zbMATH DE number 2125657 (Why is no real title available?)
- scientific article; zbMATH DE number 2125667 (Why is no real title available?)
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- scientific article; zbMATH DE number 3522182 (Why is no real title available?)
- scientific article; zbMATH DE number 3522194 (Why is no real title available?)
- scientific article; zbMATH DE number 3611531 (Why is no real title available?)
- Icons
- Introduction to bicategories
- Polynomial functors and polynomial monads
- Polynomials in categories with pullbacks
- Representable multicategories
- The algebra of oriented simplexes
- The span construction
- Wellfounded trees in categories
Cited in
(9)- scientific article; zbMATH DE number 2125657 (Why is no real title available?)
- scientific article; zbMATH DE number 1924508 (Why is no real title available?)
- Polynomials as spans
- Weak units, universal cells, and coherence via universality for bicategories
- Polynomials in categories with pullbacks
- A universal property of the monoidal 2-category of cospans of finite linear orders and surjections
- On distributivity in higher algebra I: the universal property of bispans
- A Cartesian bicategory of polynomial functors in homotopy type theory
- Objective Mackey and Tambara functors via parametrized categories
This page was built for publication: Universal properties of bicategories of polynomials
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2421332)
