📝Cat (category)
Cat is a category of Functors.
- Objects are categories
- Morphisms are functors
- Composition: functors consist of functions and functions compose, so we can define a composition of functors.
- Identity morphism: identity functor is trivial.
It’s a category of small categories.