Things as categories

Monoids as categories

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.

#state/tidy | #lang/en | #SemBr