Definition:Monoid Category

Definition
Let $\struct {S, \circ}$ be a monoid with identity $e_S$.

One can interpret $\struct {S, \circ}$ as being a category, with:

The category that so arises is called a monoid category.

Also see

 * Monoid Category is Category