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