Universal propertyIn category theory, abstract algebra and other fields of mathematics, constructions are often defined by an abstract property which requires the existence of unique morphisms 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 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(ψ) = φ.
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 = φ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 arrow, then the assignment X |-> AX and h |-> Ah defines a covariant functor from D to C, 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 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 = ρ. A Co-universal constructions also defines a covariant functor from D to C, the so-called left-adjoint of F.