Category of sets

Category of sets

In mathematics, the category of sets, denoted as Set, is the category whose objects are all sets and whose morphisms are all functions. It is the most basic and the most commonly used category in mathematics.

Properties of the category of sets

The epimorphisms in Set are the surjective maps, the monomorphisms are the injective maps, and the isomorphisms are the bijective maps.

The empty set serves as the initial object in Set with empty functions as morphisms. Every 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 and co-complete. The product in this category is given by the cartesian product of sets. The 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"×{"i"} (the cartesian product with "i" serves to insure that all the components stay disjoint).

Set is the prototype of a concrete category; other categories are concrete if they "resemble" 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).

Set is not abelian, additive or preadditive; it does not even have zero morphisms.

Every not initial object in Set is injective and (assuming the axiom of choice) also projective.

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. In this situation, one refers to the collection of all sets as a proper class. In ZF set theory, proper classes do not have any formal status. This is a problem: it means that the category of sets cannot be formalized straightforwardly in this setting.

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 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 or its powerset will belong to the universe). The existence of universes is not implied by the usual ZF axioms; it is an additional, independent axiom. Assuming this extra axiom, the objects of Set can be defined to be the elements of a particular universe, rather than all the sets.

Various other solutions, and variations on the above, have been proposed [Mac Lane, S. One universe as a foundation for category theory. Springer Lect. Notes Math. 106 (1969): 192–200. ] [Feferman, S. Set-theoretical foundations of category theory. Springer Lect. Notes Math. 106 (1969): 201–247.] [Blass, A. [http://www.math.lsa.umich.edu/~ablass/interact.pdf The interaction between category theory and set theory] . Contemporary Mathematics 30 (1984).] .

The same issues arise with other concrete categories, such as the category of groups or the category of topological spaces.

References

* (Volume 5 in the series Graduate Texts in Mathematics)


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Category (mathematics) — In mathematics, a category is an algebraic structure that comprises objects that are linked by arrows . A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A …   Wikipedia

  • Category of rings — In mathematics, the category of rings, denoted by Ring, is the category whose objects are rings (with identity) and whose morphisms are ring homomorphisms (preserving the identity). Like many categories in mathematics, the category of rings is… …   Wikipedia

  • Category of relations — In mathematics, the category Rel has the class of sets as objects and binary relations as morphisms.A morphism (or arrow) R : A → B in this category is a relation between the sets A and B , so nowrap| R ⊆ A × B .The composition of two relations R …   Wikipedia

  • Category of topological spaces — In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again… …   Wikipedia

  • Category of manifolds — In mathematics, the category of manifolds, often denoted Man p , is the category whose objects are manifolds of smoothness class C p and whose morphisms are p times continuously differentiable maps. This is a category because the composition of… …   Wikipedia

  • Category of topological vector spaces — In mathematics, the category of topological vector spaces is the category whose objects are topological vector spaces and whose morphisms are continuous linear maps between them. This is a category because the composition of two continuous linear …   Wikipedia

  • Category 3 cable — Category 3 cable, commonly known as Cat 3, is an unshielded twisted pair (UTP) cable designed to reliably carry data up to 10 Mbit/s, with a possible bandwidth of 16 MHz. It is part of a family of copper cabling standards defined jointly by the… …   Wikipedia

  • Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… …   Wikipedia

  • Category of being — In metaphysics (in particular, ontology), the different kinds or ways of being are called categories of being or simply categories. To investigate the categories of being is to determine the most fundamental and the broadest classes of entities.… …   Wikipedia

  • Category of preordered sets — The category Ord has preordered sets as objects and monotonic functions as morphisms. This is a category because the composition of two monotonic functions is monotone.The monomorphisms in Ord are the injective monotonic functions.The empty set… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”