The definition of a monoid is wholly equivalent to that of a single-object category.
Given a monoid , one may construct a category
consisting of a single object
such that and composition is given by .
Conversely, forms a monoid under composition for any .
Thus a category is the oidification of a monoid, i.e. a monoidoid.