Main Page | See live article | Alphabetical index

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.

Table of contents
1 Universal constructions
2 Co-universal constructions
3 A worked example: kernels
4 What is it good for?
5 History

Universal constructions

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 AX of C and a morphism φX : F(AX) -> 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 -> AX such that φX F(ψ) = φ.

The existence of the morphism ψ intuitively expresses the fact that AX is "large enough" or "general enough", while the uniqueness of the morphism ensures that AX is "not too large".

From the definition, it follows directly that the pair (AX, φ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 : AX -> A'X such that φ'X F(f) = φX.

More generally, if φX1 : F(AX1) -> X1 and φX2 : F(AX2) -> X2 are two universal morphisms, and h : X1 -> X2 is a morphism in D, then there exists a unique morphism Ah: AX1 -> AX2 such that φX2 F(Ah) = φX1.

Therefore, if every object X of D admits a universal morphism, then the assignment X |-> AX and h |-> Ah defines a covariant functor from D to C, and this functor is the right-adjoint of F.

Co-universal constructions

The dual concept of a co-universal construction also exists: it assigns to every object X of D an object BX of C and a morphism ρX: X -> F(BX) 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 σ : BX -> U such that F(σ) ρX = ρ.
If BX 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 AX and BX for every X, that does not mean that such objects also exist.

A worked example: kernels

Suppose C is a category with zero morphisms and f : AB is a morphism in C. A kernel of f is any morphism k: KA such that:

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 φ : RS in C, and a morphism from φ : RS to ψ : UV is given by a pair (r,s) of morphisms r : RU and s : SV such that s φ = ψ r.

The functor F : CD maps an object K of C to the zero morphism 0KK : KK and a morphism r : KL to the pair (r,r).

Now, given a morphism f : AB 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 0KK = 0KB, 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.

What is it good for?

Once one recognizes a certain construction as given by a universal property, one gains several benefits:

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.