Definition. Monoid [0062]

A monoid is a one object category.