2-category

cosmos 11th November 2017 at 1:03pm
Category

A "category with morphisms between morphisms". That is a category where the Hom-sets are themselves categories

See here. For instance, the Category of small categories (https://en.wikipedia.org/wiki/Category_of_small_categories).