common category:
- collection of objects
- collection of morphisms
-
- preserves identity laws
-
- preserves composition laws
category of categories:
- objects are categories
- morphisms are functors
category of functors:
- objects are functors
- morphisms are natural transformations