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.

That it is a category is shown on Monoid Category is Category.