A semiring has a commutative monoid operation and a monoid operation , with multiplication distributing over addition on both sides and absorbing multiplication. Additive inverses are not required. The natural numbers with their usual addition and multiplication are a basic example. Regarding multiplication as composition yields a one-object category with commutative-monoid enrichment.