Limits and colimits

Limits and colimits
Name	Limits and colimits
Caption	Diagrammatic depiction of a limit and a colimit
Field	Category theory
Introduced	1940s
Key figures	Samuel Eilenberg, Saunders Mac Lane, Alexander Grothendieck, René Thom
Related	Adjoint functor theorem, Yoneda lemma, Category of sets

Limits and colimits

Limits and colimits are central notions in category theory that generalize constructions across mathematics such as products, intersections, quotients, and completions. Originating in the work of Samuel Eilenberg and Saunders Mac Lane, they provide a unifying framework that relates categories like the Category of sets, Category of groups, and Category of topological spaces to concepts appearing in algebraic geometry, homological algebra, and topology studied by figures such as Alexander Grothendieck and René Thom. Through universal properties they connect with fundamental results including the Yoneda lemma and the Adjoint functor theorem.

Definition

A limit of a diagram defined by a functor from an indexing category to a target category is a universal cone to that diagram; a colimit is a universal co-cone. The formulation uses natural transformations and terminal or initial objects in appropriate comma categories, following the language introduced by Samuel Eilenberg and Saunders Mac Lane. Limits and colimits may be characterized equivalently via representability of certain functors, a perspective linked to the Yoneda lemma and exploited in the work of Alexander Grothendieck on derived categories and sheaf theory. Existence and uniqueness up to unique isomorphism are guaranteed by universal properties, aligning with methods used by Paul Cohen in logical independence proofs where categorical limits provide structural interpretations.

Examples

Concrete examples illustrate how classical constructions arise as instances: finite products in the Category of sets coincide with Cartesian products, while coproducts correspond to disjoint unions studied in set theory by contributors like Georg Cantor. Equalizers and coequalizers generalize kernels and cokernels familiar from Emmy Noether's algebraic work and from homological constructions used by Henri Cartan and Jean-Pierre Serre. Pushouts and pullbacks appear in algebraic topology contexts considered by Henri Poincaré and L.E.J. Brouwer; fiber products in algebraic geometry are central in the work of Alexander Grothendieck and Jean-Pierre Serre. In the Category of groups products are direct products, coproducts are free products linked to combinatorial group theory by Max Dehn and Otto Schreier, while in the Category of modules limits and colimits interact with exact sequences used by Samuel Eilenberg and Henri Cartan.

Universal properties and constructions

Universal properties define objects by mapping properties rather than explicit elements, a viewpoint championed by Saunders Mac Lane and adopted across modern mathematics by figures such as Alexander Grothendieck and Jean-Pierre Serre. A limit is terminal among cones to a diagram; a colimit is initial among co-cones. Representability translates these universal properties into isomorphisms of Hom-functors, connecting with the Yoneda lemma and facilitating adjoint functor constructions as in the Adjoint functor theorem developed by Peter Freyd and others. Constructions such as reflections, coreflections, and Kan extensions fit naturally into this framework and were applied in categorical approaches pursued by William Lawvere and F. William Lawvere's school.

Existence and completeness/cocompleteness

A category is complete if all small limits exist and cocomplete if all small colimits exist. The Category of sets is both complete and cocomplete, a fact exploited in model theory by Alfred Tarski and in algebraic topology by J. H. C. Whitehead. Many algebraic categories like the Category of groups and the Category of modules are complete and cocomplete, while categories of geometric objects such as the Category of manifolds often fail to be complete or cocomplete without enlarging the context, an issue addressed in the work of René Thom and later by Beniamino Segre and others. Existence theorems for limits and colimits can be reduced to the existence of products and equalizers (for limits) or coproducts and coequalizers (for colimits), a reduction used in categorical treatments in algebraic geometry by Alexander Grothendieck.

Properties and preservation

Limits commute with limits and colimits with colimits under suitable hypotheses; functors that preserve limits are called continuous, while those preserving colimits are cocontinuous. Adjoints preserve (co)limits: left adjoints preserve colimits and right adjoints preserve limits, a principle fundamental to the categorical approach of Peter Freyd and reflected in applications by F. William Lawvere. Exactness conditions in homological algebra — left exactness and right exactness — describe preservation of finite limits or colimits and are central to the work of Henri Cartan, Jean-Pierre Serre, and Alexander Grothendieck. Preservation properties are crucial in descent theory and base change theorems developed by Alexander Grothendieck and Jean-Pierre Serre.

Computation in specific categories

In the Category of sets limits are given by subsets of products satisfying compatibility relations; colimits are disjoint unions modulo identifications familiar from Georg Cantor's set theory. In the Category of topological spaces pullbacks carry subspace topologies and pushouts require quotient topologies, techniques used in algebraic topology by Hassler Whitney and J. H. C. Whitehead. In algebraic geometry, limits and colimits of schemes and sheaves are calculated using fibered products and direct/inverse limits as in the work of Alexander Grothendieck and Jean-Pierre Serre. In the Category of chain complexes limits and colimits are computed degreewise and interact with homology functors central to homological algebra developed by Samuel Eilenberg and Henri Cartan.

Category theory