English

Polynomials as spans

Category Theory 2020-02-18 v3

Abstract

The paper defines polynomials in a bicategory M\mathscr{M}. Polynomials in bicategories SpnC \mathrm{Spn}\mathscr{C} \ of spans in a finitely complete category C \mathscr{C} \ agree with polynomials in C \mathscr{C} \ as defined by Nicola Gambino and Joachim Kock, and by Mark Weber. When M\mathscr{M} is \textit{calibrated}, we obtain another bicategory PolyM\mathrm{Poly}\mathscr{M}. We see that polynomials in M\mathscr{M} have representations as pseudofunctors MopCat\mathscr{M}^{\mathrm{op}}\to \mathrm{Cat}. 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".

Keywords

Cite

@article{arxiv.1903.03890,
  title  = {Polynomials as spans},
  author = {Ross Street},
  journal= {arXiv preprint arXiv:1903.03890},
  year   = {2020}
}

Comments

An anonymous referee wisely required more detail in Examples 12 and 13. This new material is the main reason for the paper expanding to 33 pages. There are some points in that material that I believe are not so well known. The reference list is also expanded

R2 v1 2026-06-23T08:03:14.212Z