2-Category: SymCat

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

2-categories: SymCat

This data as json