2-Category: SymmMonCat

SymmMonCat is the 2-category whose objects are symmetric monoidal categories, arrows are lax monoidal functors, and transformations are natural transformations. Specifically, SymmMonCat is a bicategory.

2-categories: SymmMonCat

This data as json