It’s self-similar:

→

Categories have morphisms

→

Categories themselves are objects in Cat

→

Functors are morphisms in Cat

→

Natural transformations are morphisms between functors

→

This continues into 2-Cat, n-Cat, ∞-categories

→