Polynomials as spans
Abstract
The paper defines polynomials in a bicategory . Polynomials in bicategories of spans in a finitely complete category agree with polynomials in as defined by Nicola Gambino and Joachim Kock, and by Mark Weber. When is \textit{calibrated}, we obtain another bicategory . We see that polynomials in have representations as pseudofunctors . 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".
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