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. #m/def/cat

Related categories

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

#state/tidy | #lang/en | #SemBr