Pith. sign in

REVIEW 1 cited by

Polynomials as spans

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1903.03890 v3 pith:FO4P57IB submitted 2019-03-10 math.CT

classification math.CT
keywords mathscrpolynomialsbicategorymathrmbicategoriescategoryspansagree
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

The paper defines polynomials in a bicategory $\mathscr{M}$. 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 $\mathscr{M}$ is \textit{calibrated}, we obtain another bicategory $\mathrm{Poly}\mathscr{M}$. We see that polynomials in $\mathscr{M}$ have representations as pseudofunctors $\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".

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Polynomials in homotopy type theory as a Kleisli category

    math.CT 2024-11 conditional novelty 6.0 of 10

    In homotopy type theory, the Kleisli category of the exponential comonad on spans is equivalent to the category of V-ary polynomials, yielding a new model of linear logic.

Pith tools