Category of Commutative Monoids

The category of commutative monoids is the Full Subcategory of the Category of Monoids consisting of the Category of Commutative Monoids.

Properties

• The category of commutative monoids is a Symmetric Monoidal Category with respect to the Tensor Product of Commutative Monoids and the monoid $(\mathbb{N},0,+)$.

• The category of commutative monoids is a Semiadditve Category.