Polynomials as spans

MaRDI QIDQ5116336zbMATH OpenFDO

Authors Ross H. Street

Publication date 24 August 2020

Full work available at URL https://arxiv.org/abs/1903.03890, http://cahierstgdc.com/wp-content/uploads/2020/04/STREET-LXI-2.pdf

zbMATH Keywords

spanexponentiable morphismpolynomial functorpartial mapcalibrated bicategorypowerful morphismright lifting

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Abstract: The paper defines polynomials in a bicategory $mathscrM$. Polynomials in bicategories $mathrmSpnmathscrC$ of spans in a finitely complete category $mathscrC$ agree with polynomials in $mathscrC$ as defined by Nicola Gambino and Joachim Kock, and by Mark Weber. When $mathscrM$ is extit{calibrated}, we obtain another bicategory $mathrmPolymathscrM$. We see that polynomials in $mathscrM$ have representations as pseudofunctors $mathscr{M}^{mathrmop}omathrmCat$. Calibrations are produced for the bicategory of relations in a regular category and for the bicategory of two-sided modules (distributors) between categories thereby providing new examples of bicategories of "polynomials".

Recommendations

• Polynomials in categories with pullbacks
• Universal properties of bicategories of polynomials
• Polynomial functors and polynomial monads
• scientific article; zbMATH DE number 1924508
• scientific article; zbMATH DE number 6981655
• scientific article; zbMATH DE number 2172971
• scientific article; zbMATH DE number 2134918
• A monadic approach to polycategories
• Variation on a comprehensive theme
• Weak units, universal cells, and coherence via universality for bicategories

Cited in

(10)

• Determining the \(L(2,1)\)-span in polynomial space
• Variation on a comprehensive theme
• Polynomials in categories with pullbacks
• Span composition using fake pullbacks
• On distributivity in higher algebra I: the universal property of bispans
• scientific article; zbMATH DE number 1924508 (Why is no real title available?)
• Algebraic spans
• A diagrammatic approach to symmetric lenses
• scientific article; zbMATH DE number 2172971 (Why is no real title available?)
• Universal properties of bicategories of polynomials

This page was built for publication: Polynomials as spans

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