A monoid is a set with an associative binary operation that has an identity element. By the same technique as for groups, any monoid “is” a category with exactly one object and any category with exactly one object “is” a monoid.

— Wikibooks on Category Theory/Categories

2014.01.08 Wednesday ACHK