# Joyal's CatLab Set

## Definition

• 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.
Created on January 19, 2010 at 02:07:13 by joyal