The symmetric monoidal 2-category of permutative categories
arXiv:2211.04464
Abstract
We define a tensor product for permutative categories and prove a number of key properties. We show that this product makes the 2-category of permutative categories closed symmetric monoidal as a bicategory.
84 pages