Category: BrMonCat

BrMonCat is the category whose objects are braided monoidal categories and arrows are lax monoidal functors.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: BrMonCat

This data as json

name objects_hr arrows_hr
BrMonCat braided monoidal categories lax monoidal functors

Links from other tables