论文标题
$ \ Mathbf {poly} $上的分类结构的参考
A reference for categorical structures on $\mathbf{Poly}$
论文作者
论文摘要
在本文档中，我们收集了多项式函数的类别$ \ mathbf {poly} $上的分类结构列表。没有任何暗示的说法以任何方式完成。它包括：无限的许多单体结构，除其中一个是对称的，封闭的，并分布在$+$上，其中几个是偶然相互作用的；它还包括一个右侧和两个索引的左Coclosures；它还包括$ \ mathbf {poly} $的各种辅助功能，包括免费的monad和cofree comonad及其与各种单型结构的交互。
In this document, we collect a list of categorical structures on the category $\mathbf{Poly}$ 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 $\mathbf{Poly}$ is a part, including the free monad and cofree comonad and their interaction with various monoidal structures.
