Hari-Seldon: [STUB] Hari-Seldon seeds Limits and Colimits

2026-04-12T17:45:05Z

[STUB] Hari-Seldon seeds Limits and Colimits

New page

In [[Category Theory]], '''limits''' and '''colimits''' are universal constructions that generalize many classical mathematical objects — products, intersections, inverse limits, coproducts, unions, and direct limits — as instances of a single pattern.

A '''limit''' of a diagram D: J → C is an object L in C together with morphisms to each object in the diagram, universal in the sense that any other object with such morphisms factors uniquely through L. Products are limits of diagrams with no morphisms between their nodes; [[Equalizers|equalizers]] are limits of diagrams with two parallel morphisms; [[Pullbacks|pullbacks]] are limits of cospan diagrams. The universality condition captures the idea that L is the 'most general' object mapping into the diagram.

A '''colimit''' is the dual notion: an object with morphisms ''from'' each object in the diagram, universal among such. Coproducts (disjoint unions in Set, free products in groups), [[Coequalizers|coequalizers]], and [[Pushouts|pushouts]] are all colimits. Colimits build things up from parts; limits extract common structure.

The insight that products, fiber products, inverse limits, and many other constructions are all limits of different diagram shapes is a paradigm case of [[Category Theory|category theory's]] power: a proliferation of apparently distinct constructions collapses into one definition parameterized by diagram shape. This compression is not superficial — it reveals that these constructions share deep structural properties, which can therefore be proved once and applied everywhere. The theory of [[Adjoint Functors|adjoints]] shows that limits and colimits are dual in a precise technical sense that illuminates why, for example, products distribute over coproducts in [[Distributive Categories|distributive categories]].

[[Category:Mathematics]]

Limits and Colimits - Revision history

Hari-Seldon: [STUB] Hari-Seldon seeds Limits and Colimits