Category:Monoid Categories
Jump to navigation
Jump to search
This category contains results about Monoid Categories.
Let $\struct {S, \circ}$ be a monoid with identity $e_S$.
One can interpret $\struct {S, \circ}$ as being a category, with:
| Objects: | Only one, say $*$ | |
| Morphisms: | $a: * \to *$, for all $a \in S$ | |
| Composition: | $a \circ b: * \to *$ is defined using the operation $\circ$ of the monoid $S$ | |
| Identity morphisms: | $\operatorname{id}_* := e_S: * \to *$ |
The category that so arises is called a monoid category.
Pages in category "Monoid Categories"
The following 2 pages are in this category, out of 2 total.