Colimit

A colimit in category theory is the dual notion of a limit: it is the universal object that receives maps from every object in a diagram in a compatible way. Where limits generalize products and intersections, colimits generalize disjoint unions, quotients, and direct limits. A colimit of a diagram D is an object C together with a family of morphisms from each object in D (called a cocone) such that every other cocone factors uniquely through C. Left adjoints preserve colimits, making this the structural counterpart to the limit-preservation theorem for right adjoints.

The asymmetry between limits and colimits is not a defect but a deep feature. Limits are about 'mapping into' a universal object; colimits are about 'mapping out of' one. This duality mirrors the distinction between analysis and synthesis, between taking things apart and putting them together. The coproduct is the colimit of a discrete diagram; the pushout is the colimit of a span; the coequalizer is the colimit of a parallel pair. Every time mathematicians glue, identify, or freely combine structures, they are computing a colimit—whether they name it as such or not.