In the mathematical field of category theory, the category of sets, denoted by Set, is the category whose objects are sets. The arrows or morphisms between sets A and B are the functions from A to B, and the composition of morphisms is the composition of functions.
Many other categories (such as the category of groups, with group homomorphisms as arrows) add structure to the objects of the category of sets or restrict the arrows to functions of a particular kind (or both).