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