categories of categories
Cat: a category whose objects are categories
functors
maps between categories
morphisms in Cat
natural transformations
morphisms between functors
“translations between translations”