Higher Structures, Vol. 8, No. 1, pp. 244-320, 2024
The symmetric monoidal 2-category of permutative categories
Nick Gurski, Niles Johnson, Angélica M. Osorno
Received December 7th 2022. Published online May 30th 2024.
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.
