Universal Property

A universal property characterizes an object by specifying how it relates to all other objects. Rather than constructing an object explicitly, we describe it by a mapping property that determines it uniquely up to unique isomorphism. This is the central organizing principle of category theory.

Initial and Terminal Objects

Definition2.1Initial Object

An object $I$ in a category $\mathcal{C}$ is initial if for every object $X \in \mathcal{C}$ , there exists a unique morphism $I \to X$ .

$|\mathrm{Hom}(I, X)| = 1 \quad \text{for all } X$

Definition2.2Terminal Object

An object $T$ in a category $\mathcal{C}$ is terminal if for every object $X \in \mathcal{C}$ , there exists a unique morphism $X \to T$ .

$|\mathrm{Hom}(X, T)| = 1 \quad \text{for all } X$

Definition2.3Zero Object

A zero object is an object that is both initial and terminal. It is denoted $0$ . The unique morphism $A \to 0 \to B$ is called the zero morphism and is denoted $0_{AB} : A \to B$ .

Theorem2.1Uniqueness of universal objects

Any two initial objects in a category are uniquely isomorphic. Similarly for terminal objects and zero objects.

Proof

Let $I, I'$ be initial. There exist unique morphisms $f : I \to I'$ and $g : I' \to I$ . Then $g \circ f : I \to I$ must equal $\mathrm{id}_I$ (since the only morphism $I \to I$ is the identity, by the initial property). Similarly $f \circ g = \mathrm{id}_{I'}$ .

■

Examples

ExampleInitial and terminal in Set

In $\mathbf{Set}$ : the empty set $\varnothing$ is initial (there is a unique function $\varnothing \to X$ for any set $X$ — the empty function). Any singleton $\{*\}$ is terminal (there is a unique function $X \to \{*\}$ ). There is no zero object in $\mathbf{Set}$ .

ExampleZero object in Ab

In $\mathbf{Ab}$ , the trivial group $\{0\}$ is a zero object: it is both initial and terminal. For any abelian groups $A, B$ , the zero morphism $0 : A \to B$ sending everything to $0$ factors through $\{0\}$ .

ExampleZero object in R-Mod

In $R\text{-}\mathbf{Mod}$ , the zero module $\{0\}$ is a zero object. Every module homomorphism $M \to N$ has an additive inverse, making $\mathrm{Hom}(M,N)$ an abelian group. The zero element is the zero morphism factoring through $\{0\}$ .

ExampleInitial in Ring

In $\mathbf{Ring}$ (with unit), $\mathbb{Z}$ is the initial object: for every ring $R$ , there is a unique ring homomorphism $\mathbb{Z} \to R$ sending $n \mapsto n \cdot 1_R$ .

ExampleTerminal in Grp

In $\mathbf{Grp}$ , the trivial group $\{e\}$ is both initial and terminal (hence a zero object). The unique homomorphism $G \to \{e\}$ sends everything to $e$ ; the unique homomorphism $\{e\} \to G$ sends $e$ to $e$ .

ExampleNo initial object in Field

The category $\mathbf{Field}$ of fields has neither an initial nor a terminal object. There is no field homomorphism $\mathbb{Q} \to \mathbb{F}_p$ (characteristics differ), and no field homomorphism $\mathbb{F}_2 \to \mathbb{F}_3$ .

ExampleUniversal property of the kernel

In an abelian category, the kernel of $f : A \to B$ is an object $K$ with a morphism $\iota : K \to A$ such that $f \circ \iota = 0$ , and for every $g : X \to A$ with $f \circ g = 0$ , there exists a unique $\bar{g} : X \to K$ with $\iota \circ \bar{g} = g$ . This is a universal property: $K$ is the "largest subobject mapped to zero by $f$ ."

ExampleUniversal property of the free group

The free group $F(S)$ on a set $S$ satisfies: for any group $G$ and function $f : S \to G$ , there is a unique homomorphism $\bar{f} : F(S) \to G$ extending $f$ . This is the universal property of the free-forgetful adjunction $F \dashv U$ .

ExampleUniversal property of the tensor product

$M \otimes_R N$ is universal for bilinear maps: any bilinear map $\beta : M \times N \to P$ factors uniquely through the canonical bilinear map $M \times N \to M \otimes_R N$ .

ExampleUniversal property of localization

For a ring $R$ and a multiplicative set $S$ , $S^{-1}R$ satisfies: any ring homomorphism $\varphi : R \to T$ sending $S$ to units factors uniquely through $R \to S^{-1}R$ . This determines $S^{-1}R$ up to unique isomorphism.

ExampleUniversal property of quotient

For a group $G$ and normal subgroup $N$ , the quotient $\pi : G \to G/N$ satisfies: any homomorphism $\varphi : G \to H$ with $N \subseteq \ker \varphi$ factors uniquely as $\varphi = \bar{\varphi} \circ \pi$ for a unique $\bar{\varphi} : G/N \to H$ . This is the universal property of the cokernel.

ExampleUniversal property of polynomial ring

The polynomial ring $R[x]$ represents the forgetful functor from $R$ -algebras to sets: $\mathrm{Hom}_{R\text{-}\mathbf{Alg}}(R[x], A) \cong |A|$ . For any $R$ -algebra $A$ and any element $a \in A$ , there is a unique $R$ -algebra homomorphism $R[x] \to A$ sending $x \mapsto a$ .

The Pattern

RemarkUniversal properties as representability

Every universal property can be formulated as a representability statement. An object $A$ has a universal property with respect to a functor $F$ if and only if $F$ is represented by $A$ . This is the content of the Yoneda Lemma: the universal element $\xi \in F(A)$ determines and is determined by the natural isomorphism $\mathrm{Hom}(-, A) \cong F$ .

RemarkLimits and colimits as universal properties

Products, coproducts, pullbacks, pushouts, limits, and colimits are all instances of universal properties. A limit is a terminal object in a category of cones; a colimit is an initial object in a category of cocones. The adjoint functor theorems give conditions for the existence of such universal objects.