Structures on Categories of Polynomials

MaRDI QIDQ6434729zbMATH OpenFDO

Authors Brandon T. Shapiro, David I. Spivak

Publication date 29 April 2023

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Internal categories and groupoids (18D40) Structured objects in a category (group objects, etc.) (18C40) Bimonoidal, skew-monoidal, duoidal categories (18M50)

Abstract: We define the monoidal category $(Pol{y}_E,y,riangleleft)$ of polynomials under composition in any category $E$ with finite limits, including both cartesian and vertical morphisms of polynomials, and generalize to this setting the Dirichlet tensor product of polynomials $otimes$, duoidality of $otimes$ and $riangleleft$, closure of $otimes$, and coclosures of $riangleleft$. We also prove that $riangleleft$-comonoids in $Pol{y}_E$ are precisely the internal categories in $E$ whose source morphism is exponentiable, generalizing a result of Ahman-Uustalu equating categories with polynomial comonads, and show that coalgebras in this setting correspond to internal copresheaves. Finally, the double category of ``typed polynomials in $E$ is recovered using $riangleleft$-bicomodules in $Pol{y}_E$.

This page was built for publication: Structures on Categories of Polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6434729)