Definition:Monoid Category

Definition
Let $\left({S, \circ}\right)$ be a monoid with identity $e_S$.

One can interpret $\left({S, \circ}\right)$ as being a category, with:

The category that so arises is called a monoid category.

Also see

 * Monoid Category is Category