Category: MonCat

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

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: MonCat

This data as json

name objects_hr arrows_hr
MonCat monoidal categories lax monoidal functors

Links from other tables