The categorical limit that represents the universal object mapping to two objects so that the compositions to a third object coincide: given B → A and C → A, the pullback B ×_A C is the universal object with projections to B and C making the diagram commute.

Principle

Characterized by the universal property of limits: B ×_A C comes with projection maps p_B: B ×_A C → B and p_C: B ×_A C → C such that the compositions to A agree, and for any X with maps to B and C commuting over A there is a unique map X → B ×_A C making the whole diagram commute.

Demonstration

In sets, the pullback of maps B → A and C → A is the set of pairs (b,c) with f(b)=g(c) in A. In topology it forms subspaces of product spaces with matching images in A; in algebra it gives fibered products such as fibered tensor products or subrings defined by equalizing maps into a base ring.

Misapplication

Assuming pullbacks preserve epimorphisms or surjectivity automatically, or treating pullbacks as intersections without verifying how structure (topology, module relations) restricts the fibered product. Another mistake is ignoring base-change effects that alter exactness properties.

Consequence

Pullbacks implement synchronization and base-change: they construct fibered products, change-of-base in sheaf and bundle theory, and provide kernels for diagrams. They are fundamental for fibrations, descent, and many constructions in geometry and algebra.

Reversal

Dual to pushout: where pushout amalgamates along a source, pullback synchronizes along a target. Reversal swaps colimit gluing for limit synchronization, turning cocones into cones and injections into projections.

Boundary

Existence depends on the category admitting limits; the set-theoretic description as pairs with matching images holds in concrete categories but must be adapted for structured categories. Pullbacks need not commute with colimits and may fail to preserve finiteness or separation properties in topology or algebra.

Semantic Tension

Often conflated with set-theoretic intersections or fiber products in specific contexts; the tension is that pullback enforces equality of images in the base, but additional structure (topology, module relations) can change the result from naive intersections.

Synthesis

The pullback is the universal limit that synchronizes two objects over a common target: it forms the object of pairs whose images agree in the base and mediates every compatible cone into any other object.