In the
mathematical Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and their changes (cal ...
field of
category theory Category theory formalizes mathematical structure In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and ...
, the category of sets, denoted as Set, is the
category Category, plural categories, may refer to: Philosophy and general uses *Categorization Categorization is the ability and activity to recognize shared features or similarities between the elements of the experience of the world (such as O ...
objects Object may refer to: General meanings * Object (philosophy) An object is a philosophy, philosophical term often used in contrast to the term ''Subject (philosophy), subject''. A subject is an observer and an object is a thing observed. For mo ...
are Set (mathematics), sets. The arrows or morphisms between sets ''A'' and ''B'' are the total functions from ''A'' to ''B'', and the composition of morphisms is the Function composition, 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 and/or restrict the arrows to functions of a particular kind.

Properties of the category of sets

The axioms of a category are satisfied by Set because composition of functions is Associative property, associative, and because every set ''X'' has an identity function id''X'' : ''X'' → ''X'' which serves as identity element for function composition. The epimorphisms in Set are the surjective maps, the monomorphisms are the injective maps, and the isomorphism (category theory), isomorphisms are the bijective maps. The empty set serves as the initial object in Set with empty functions as morphisms. Every singleton (mathematics), singleton is a terminal object, with the functions mapping all elements of the source sets to the single target element as morphisms. There are thus no zero objects in Set. The category Set is complete category, complete and co-complete. The product (category theory), product in this category is given by the cartesian product of sets. The coproduct (category theory), coproduct is given by the disjoint union: given sets ''A''''i'' where ''i'' ranges over some index set ''I'', we construct the coproduct as the union of ''A''''i''× (the cartesian product with ''i'' serves to ensure that all the components stay disjoint). Set is the prototype of a concrete category; other categories are concrete if they are "built on" Set in some well-defined way. Every two-element set serves as a subobject classifier in Set. The power object of a set ''A'' is given by its power set, and the exponential object of the sets ''A'' and ''B'' is given by the set of all functions from ''A'' to ''B''. Set is thus a topos (and in particular cartesian closed category, cartesian closed and Regular_category#Exact_%28effective%29_categories, exact in the sense of Barr). Set is not abelian category, abelian, additive category, additive nor preadditive category, preadditive. Every non-empty set is an injective object in Set. Every set is a projective module, projective object in Set (assuming the axiom of choice). The Accessible category, finitely presentable objects in Set are the finite sets. Since every set is a direct limit of its finite subsets, the category Set is a Accessible category, locally finitely presentable category. If ''C'' is an arbitrary category, the Contravariant functor, contravariant functors from ''C'' to Set are often an important object of study. If ''A'' is an object of ''C'', then the functor from ''C'' to Set that sends ''X'' to Hom''C''(''X'',''A'') (the set of morphisms in ''C'' from ''X'' to ''A'') is an example of such a functor. If ''C'' is a Category_(mathematics)#Small_and_large_categories, small category (i.e. the collection of its objects forms a set), then the contravariant functors from ''C'' to Set, together with natural transformations as morphisms, form a new category, a functor category known as the category of presheaves on ''C''.

Foundations for the category of sets

In Zermelo–Fraenkel set theory the collection of all sets is not a set; this follows from the axiom of foundation. One refers to collections that are not sets as proper classes. One cannot handle proper classes as one handles sets; in particular, one cannot write that those proper classes belong to a collection (either a set or a proper class). This is a problem because it means that the category of sets cannot be formalized straightforwardly in this setting. Categories like Set whose collection of objects forms a proper class are known as Large category, large categories, to distinguish them from the small categories whose objects form a set. One way to resolve the problem is to work in a system that gives formal status to proper classes, such as NBG set theory. In this setting, categories formed from sets are said to be ''small'' and those (like Set) that are formed from proper classes are said to be ''large''. Another solution is to assume the existence of Grothendieck universes. Roughly speaking, a Grothendieck universe is a set which is itself a model of ZF(C) (for instance if a set belongs to a universe, its elements and its powerset will belong to the universe). The existence of Grothendieck universes (other than the empty set and the set V_\omega of all hereditarily finite sets) is not implied by the usual ZF axioms; it is an additional, independent axiom, roughly equivalent to the existence of strongly inaccessible cardinals. Assuming this extra axiom, one can limit the objects of Set to the elements of a particular universe. (There is no "set of all sets" within the model, but one can still reason about the class ''U'' of all inner sets, i.e., elements of ''U''.) In one variation of this scheme, the class of sets is the union of the entire tower of Grothendieck universes. (This is necessarily a proper class, but each Grothendieck universe is a set because it is an element of some larger Grothendieck universe.) However, one does not work directly with the "category of all sets". Instead, theorems are expressed in terms of the category Set''U'' whose objects are the elements of a sufficiently large Grothendieck universe ''U'', and are then shown not to depend on the particular choice of ''U''. As a foundation for
category theory Category theory formalizes mathematical structure In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and ...
, this approach is well matched to a system like Tarski–Grothendieck set theory in which one cannot reason directly about proper classes; its principal disadvantage is that a theorem can be true of all Set''U'' but not of Set. Various other solutions, and variations on the above, have been proposed.Blass 1984 The same issues arise with other concrete categories, such as the category of groups or the category of topological spaces.

See also

* Category of topological spaces * Set theory * Small set (category theory)



*Blass, A
The interaction between category theory and set theory
Contemporary Mathematics 30 (1984). *Feferman, S. Set-theoretical foundations of category theory. Springer Lect. Notes Math. 106 (1969): 201–247. *Lawvere, F.W
An elementary theory of the category of sets (long version) with commentary
*Mac Lane, S. One universe as a foundation for category theory. Springer Lect. Notes Math. 106 (1969): 192–200. * (Volume 5 in the series Graduate Texts in Mathematics) *

External links

A231344    Number of morphisms in full subcategories of Set spanned by
at OEIS. {{Foundations-footer Foundations of mathematics Categories in category theory, Sets Basic concepts in set theory