Polynomials as spans

zbMATH Open1451.18014arXiv1903.03890MaRDI QIDQ5116336FDOQ5116336

Authors: Ross H. Street 

Publication date: 24 August 2020

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".

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

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

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)

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
• Title not available (Why is that?)
• Algebraic spans
• A diagrammatic approach to symmetric lenses
• Title not available (Why is that?)
• 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)