We shall denote by Set, the [category of small sets]: an object of this category is a small set $S$ and an arrow $S\to T$ is a map $f:S\to T$; 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.