The composition of functors in 2.2.6 suggests the study of categories whose objects are categories and whose morphisms are functors. 2.2.7 leads to categories whose objects are functors C→D and whose morphisms are natural transformation. However, familiar antinomies like “the set of all sets.” or “the set of all sets not containing themselves as an element” show that precise definitions are necessary.