6.10. Introduction to categories

A category is a collection of arrows together with a associative partial binary operator called composition, and which has unit (identity) arrows called objects.


6.10.1. Category of functions
6.10.2. Category of strings
6.10.3. Paths on graphs
6.10.4. Groups