= Category of commutative monoids
{title2=$\mathbf{CMon}$}
This <category> has <commutative monoids> and their homomorphisms. Pointwise addition makes each hom-set a commutative monoid, and composition is additive in both variables. Finite cartesian products are also coproducts, using the coordinate injections with zero in the other coordinates and summing images. Therefore it is a <semi-additive category>, but it is not an <additive category>. The reflexive pair from the submonoid $\{(m,n):m\leq n\leq2m\}$ of $\mathbb N^2$ to $\mathbb N$, using the two projections and section $m\mapsto(m,m)$, has an arrow from $1$ to $2$ and none from $2$ to $1$ in its represented graph. Thus a <reflexive pair> here need not yield a <groupoid>.
Back to article page
