1 paper
Brandon T. Shapiro, David I. Spivak
We define the monoidal category (PolyE,y,◃) of polynomials under composition in any category E with finite limits, including both cartesian and vertical morphisms…