Category theory/Definition
Jump to navigation
Jump to search
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.