6.20. 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.20.1. Category of functions
6.20.2. Category of strings
6.20.3. Paths on graphs
6.20.4. Groups