Full Subcategory: BrMonCat ⊊ MonCat

BrMonCat is a full subcategory of MonCat. When any two monoidal categories of MonCat are braided monoidal categories in BrMonCat, all lax monoidal functors between them are lax monoidal functors in BrMonCat too. Put another way, BrMonCat has only some of the objects of MonCat, but all of the arrows.

In terms of stuff, structure, and properties, braided monoidal categories are like monoidal categories but with extra properties.

full_subcategories: BrMonCat, MonCat

This data as json