Category language records patterns common to groups, rings, modules, fields, and vector spaces. Universal properties identify objects by the maps into or out of them, not by a chosen construction.
Categories
Definition. A category \(\mathcal C\) consists of objects, morphism sets \(\operatorname{Hom}_{\mathcal C}(A,B)\), identity morphisms, and associative composition. Examples include \(\mathbf{Set}\), \(\mathbf{Grp}\), \(\mathbf{Ring}\), and \(R\)-\(\mathbf{Mod}\).
Example. In \(\mathbf{Grp}\), objects are groups and morphisms are group homomorphisms. In \(R\)-\(\mathbf{Mod}\), objects are \(R\)-modules and morphisms are \(R\)-linear maps.
Isomorphisms and uniqueness
Definition. A morphism \(f:A\to B\) is an isomorphism if there exists \(g:B\to A\) with \(gf=\operatorname{id}_A\) and \(fg=\operatorname{id}_B\).
Proposition. An object satisfying a universal property is unique up to unique isomorphism, whenever the universal property specifies a representing object for a given mapping problem.
Proof. Suppose \(A\) and \(B\) both satisfy the same universal property. Applying the property of \(A\) to \(B\) gives a unique map \(A\to B\), and applying the property of \(B\) to \(A\) gives a unique map \(B\to A\). The composites satisfy the same defining property as identity maps, so uniqueness forces both composites to be identities.
Functors
Definition. A covariant functor \(F:\mathcal C\to\mathcal D\) assigns objects to objects and morphisms to morphisms, preserving identities and composition. A contravariant functor reverses arrows.
Example. The forgetful functor \(\mathbf{Grp}\to\mathbf{Set}\) sends a group to its underlying set. The dual-space construction \(V\mapsto V^*\) is contravariant on finite-dimensional vector spaces.
Products and coproducts
Definition. A product of \(A\) and \(B\) is an object \(A\times B\) with projections to \(A\) and \(B\) such that every pair of maps \(X\to A\), \(X\to B\) factors uniquely through \(X\to A\times B\). Coproducts reverse the arrows.
Example. The product in groups is the direct product. The coproduct in abelian groups is the direct sum, but the coproduct in groups is the free product.
Free objects
Definition. A free object on a set \(S\) is an object \(F(S)\) equipped with a map \(S\to U(F(S))\) such that every set map \(S\to U(A)\) uniquely extends to a morphism \(F(S)\to A\).
Example. The free group on \(S\) consists of reduced words in letters from \(S\) and their formal inverses. The free \(R\)-module on \(S\) is the direct sum \(\bigoplus_{s\in S}R\).
Universal quotients and tensor products
Proposition. Quotient groups, quotient rings, and quotient modules are universal among maps killing a specified normal subgroup, ideal, or submodule. Tensor products are universal among bilinear maps.
Remark. Universal properties make constructions portable. Once an object is characterized by its mapping property, any two concrete models are canonically isomorphic.
Representable functors and Yoneda
Yoneda lemma. For a locally small category \(\mathcal C\), an object \(A\), and a functor \(F:\mathcal C\to\mathbf{Set}\), there is a natural bijection \[ \operatorname{Nat}(\operatorname{Hom}(A,-),F) \cong F(A), \qquad \eta\longmapsto\eta_A(\operatorname{id}_A). \]
Proof. Given \(x\in F(A)\), define \[ \eta_X(f:A\to X)=F(f)(x). \] Functoriality makes \(\eta\) natural. Conversely, naturality for \(f:A\to X\) gives \[ \eta_X(f)=F(f)\bigl(\eta_A(\operatorname{id}_A)\bigr), \] so every natural transformation has this form, uniquely.
The contravariant Yoneda embedding \[ A\longmapsto\operatorname{Hom}(-,A) \] is fully faithful. An object is therefore determined, up to unique isomorphism, by all morphisms into it. This formalizes the principle that mathematical objects are characterized by their relations rather than by an internal presentation.
Adjunctions organize universal constructions
Definition. Functors \(F:\mathcal C\rightleftarrows\mathcal D:G\) are adjoint, \(F\dashv G\), if there are natural bijections \[ \operatorname{Hom}_{\mathcal D}(F(C),D) \cong\operatorname{Hom}_{\mathcal C}(C,G(D)). \]
Free groups are left adjoint to the forgetful functor from groups to sets; tensor product is left adjoint to \(\operatorname{Hom}\): \[ \operatorname{Hom}(M\otimes_RN,P) \cong\operatorname{Hom}(M,\operatorname{Hom}(N,P)). \] Left adjoints preserve colimits and right adjoints preserve limits, allowing many preservation theorems to be proved once at the categorical level.