We shall denote by Cat, the [category of small categories]: an object of this category is a small category and an arrow is a functor ; composition of arrows is defined by composing the functors, and the units are the identity functors. The category Cat is large but locally small.