To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
Definition: Loosely speaking, a class of objects and a collection of morphisms which act upon them; the morphisms can be composed, the composition is associative and there are identity objects and rules of identity. [d] [e]
