M ' is a morphism of monoids when f o μ = μ''' o (f ⊗ f), f o η = η. In other words, the following diagrams , commute. The category of monoids in C and their monoid morphisms is written Mon'''C. See also Act-S, the category of monoids acting on sets References Monoidal categories Objects (category theory) Categories in category theory