M
onoidal
C
ategory
MonoidalCategory
MonoidalFunctor
FreeMonoidalCategory
CartesianMonoidalCategory