Structures on Categories of Polynomials

arXiv2305.00167MaRDI QIDQ6434729FDOQ6434729

Authors: Brandon T. Shapiro, David I. Spivak 

Publication date: 29 April 2023

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$.

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)

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)