theorem that monoid objects in a category of monoids are necessarily commutative