Universal property
In
category theory,
abstract algebra and other fields of
mathematics, frequently constructions are defined or characterised by an abstract property which requires the existence of a unique
morphism under certain conditions. These properties are called
universal properties.
In the sequel, we will give a general treatment of universal properties. It is advisable to study several examples first: product of groups and direct sum, free group, product topology, Stone-Čech compactification, tensor product, inverse limit and direct limit, kernel and cokernel, pullback, pushout and equalizer.
Let C and D be categories, F : C -> D be a functor, and X an object of D. A universal morphism from F to X consists of an object A_{X} of C and a morphism φ_{X} : F(A_{X}) -> X in D, such that the following universal property is satisfied:
- Whenever U is an object of C and φ : F(U) -> X is a morphism in D, then there exists a unique morphism ψ : U -> A_{X} such that φ_{X} F(ψ) = φ.
The existence of the morphism ψ intuitively expresses the fact that
A_{X} is "large enough" or "general enough", while the uniqueness of the morphism ensures that
A_{X} is "not too large".
From the definition, it follows directly that the pair (A_{X}, φ_{X}) is determined up to a unique isomorphism by X, in the following sense: if A'_{X} is another object of C and φ'_{X} : F(A'_{X}) -> X is another morphism which has the universal property, then there exists a unique isomorphism f : A_{X} -> A'_{X} such that φ'_{X} F(f) = φ_{X}.
More generally, if φ_{X1} : F(A_{X1}) -> X_{1} and φ_{X2} : F(A_{X2}) -> X_{2} are two universal morphisms, and h : X_{1} -> X_{2} is a morphism in D, then there exists a unique morphism A_{h}: A_{X1} -> A_{X2} such that φ_{X2} F(A_{h}) = φ_{X1}.
Therefore, if every object X of D admits a universal morphism, then the assignment X |-> A_{X} and h |-> A_{h} defines a covariant functor from D to C, and this functor is the right-adjoint of F.
The dual concept of a co-universal construction also exists: it assigns to every object X of D an object B_{X} of C and a morphism ρ_{X}: X -> F(B_{X}) in D, such that the following universal property is satisfied:
- Whenever U is an object of C and ρ : X -> F(U) is a morphism in D, then there exists a unique morphism σ : B_{X} -> U such that F(σ) ρ_{X} = ρ.
If B_{X} exists for every X in D, then this co-universal constructions also defines a covariant functor from D to C, the so-called left-adjoint of
F.
It is important to realize that not every functor F has a right-adjoint or a left adjoint; in other words: while one may always write down a universal property defining objects A_{X} and B_{X} for every X, that does not mean that such objects also exist.
Suppose C is a category with zero morphisms and f : A → B is a morphism in C. A kernel of f is any morphism k: K → A such that:
- f k is the zero morphism from K to B;
- Given any morphism k': K' → A such that f k' is the zero morphism, there is a unique morphism u: K' → K such that k u = k'.
To understand this in the framework of the general setting above, we define the category
D of all morphisms of
C. The objects of
D are morphisms φ :
R →
S in
C, and a morphism from φ :
R →
S to ψ :
U →
V is given by a pair (
r,
s) of morphisms
r :
R →
U and
s :
S →
V such that
s φ = ψ
r.
The functor F : C → D maps an object K of C to the zero morphism 0_{KK} : K → K and a morphism r : K → L to the pair (r,r).
Now, given a morphism f : A → B in the category C (i.e. an object of the category D) and an object K of C, a morphism from F(K) to f is given by a pair (k,l) such that f k = l 0_{KK} = 0_{KB}, which is exactly what shows up in the universal property of kernels given above. The abstract "universal morphism from F to f" is nothing but the universal property of a kernel.
Once one recognizes a certain construction as given by a universal property, one gains several benefits:
- Universal properties define objects up to isomorphism; one strategy to prove that two objects are isomorphic is therefore to show that they satisfy the same universal property.
- The concrete details of a given construction may be messy, but if the construction satisfies a universal property, one can forget all those details: all there is to know about the construct is already contained in the universal property. Proofs often become short and elegant if the universal property is used rather than the concrete details.
- If the universal construction can be carried out for every X in D, then we know that we obtain a functor from D to C. (So for example, forming kernels is functorial: every morphism (u,v) from the morphism f to the morphism g induces a morphism from the kernel of f to the kernel of g.)
- Furthermore, this functor is a right or left adjoint of F, depending on whether the construction is universal or co-universal. But right adjoints commute with limits and left adjoints commute with colimits! (So we can for example immediately conclude that the kernel of a product of maps is equal to the product of the kernels.)
History
Universal properties of various topological constructions were presented by Pierre Samuel in 1948. They were later used extensively by Bourbaki. The closely related concept of adjoint functors was introduced independently by Daniel Kan in 1958.