加载中…
The paper defines polynomials in a bicategory . Polynomials in bicategories \mathrm{Spn}\mathscr{C} \ of spans in a finitely complete category \mathscr{C} \ agree with polynomials in \mathscr{C} \ as defined by Nicola Gambino and Joachim Kock, and by Mark Weber. When is , 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”.

生成讲解博客的中文版本

生成AI智能校验的中文版本