Category theory/Definition
Jump to navigation
Jump to search
Loosly 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 obeying rules of identity.