The category of sets, commonly denoted 
, is the category whose objects
are sets and whose morphisms
are functions between sets.
Its identity morphisms are identity
functions, and its composition of morphisms is function composition.
In 
,
the empty set is an initial
object, every one-element set is a terminal
object, the category product is the Cartesian
product, and the coproduct is the disjoint
union.
See also
Cartesian Product,
Category,
Category Product,
Coproduct,
Disjoint Union,
Function
Composition,
Initial Object,
Terminal
Object
Explore with Wolfram|Alpha
References
Mac Lane, S. Categories
for the Working Mathematician. New York: Springer-Verlag, 1971. https://doi.org/10.1007/978-1-4612-9839-7.
Cite this as:
Weisstein, Eric W. "Category of Sets."
From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/CategoryofSets.html
Subject classifications
