A reference for categorical structures on $\mathbf{Poly}$
Category Theory
2025-09-29 v14
Abstract
In this document, we collect a list of categorical structures on the category of polynomial functors. There is no implied claim that this list is in any way complete. It includes: infinitely many monoidal structures, all but one of which is symmetric, closed, and distributes over , several of which interact duoidally; it also includes a right-coclosure and two indexed left coclosures; it also includes various adjunctions of which is a part, including the free monad and cofree comonad and their interaction with various monoidal structures.
Cite
@article{arxiv.2202.00534,
title = {A reference for categorical structures on $\mathbf{Poly}$},
author = {David I. Spivak},
journal= {arXiv preprint arXiv:2202.00534},
year = {2025}
}
Comments
33 pages