2-Category: BrMonCat

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

2-categories: BrMonCat

This data as json