We shall denote by Set, the [category of small sets]: an object of this category is a small set and an arrow is a map ; composition of arrows is defined by composing the maps, and the units arrows are the identity maps. The category Set is large but locally small.