ora-0016

1.4 Universal properties, limits, and colimits

A universal property characterizes an object through its maps to or from all competing objects. Such characterizations are invariant under unique isomorphism and therefore separate structural role from implementation.

Definition 1.8 Limit and colimit

For a diagram \(D:\mathcal J\to \mathcal C\), a limit is a terminal cone

\[ \lim _{\mathcal J}D\longrightarrow D. \]

A colimit is an initial cocone

\[ D\longrightarrow \operatorname *{colim}_{\mathcal J}D. \]

Limits enforce simultaneous compatibility. Products, pullbacks, and equalizers are familiar finite limits. Colimits freely assemble compatible pieces. Coproducts, pushouts, and coequalizers are familiar finite colimits.

Construction	Universal reading	UODL reading
Product	maps into all components	satisfy several observations together
Pullback	pairs agreeing over a shared image	compatible evidence or repairs
Equalizer	inputs on which two maps agree	exact consistency locus
Coproduct	freely choose among components	retain alternative candidates
Pushout	glue along a shared part	extend a declaration by an overlap
Coequalizer	identify two declared routes	quotient presentation differences

Table 1.1 Finite universal constructions and their recurring decision roles.

Boundary

A universal property is not automatically a causal property. A pullback may encode compatibility and a Kan extension may encode optimal extension without identifying the effect of an intervention. Causal meaning requires an additional intervention semantics.