π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.