Monoidal category

Category of monoidal categories

The category of monoidal categories, denoted , is a (small) category where an object is a monoidal category and a morphism is a strict Monoidal functor. cat

Related categories

• There exists a forgetful functor into Category of small categories
• A full subcategory is Category of cartesian categories

---

tidy | en | sembr