Categories

1. Category of sets ( . )
2. Category of involutions (aa = 1)
3. Category of idempotents (aa = a)
4. Category of automorphisms (ab = 1, ba = 1)
5. Category of endomaps (codomain = domain)
6. Category of isomorphisms (ab = 1, ba = 1’)
7. Category of maps ( –> )
8. Category of irreflexive directed multi-graphs ( . –> )
9. Category of reflexive graphs (ab = 1, ac = 1)
10. Category of categories ( . –> )
11.  Category of commutative triangles (a = bc)

About these ads