The categorical universal construction that amalgamates two objects along a common subobject to form a coequalizing merged object; concretely it is the colimit of a diagram A → B and A → C, producing B ⨿_A C together with canonical maps from B and C that equalize the two legs from A.

Principle

Given maps f: A → B and g: A → C in a category with colimits for that shape, the pushout is an object P and morphisms i_B: B → P, i_C: C → P such that i_B ∘ f = i_C ∘ g and P is universal with this property; the principle is minimal amalgamation subject to the identification imposed by A.

Demonstration

Examples: in Sets, the pushout is the disjoint union B ⊔ C modulo the identification f(a) ∼ g(a); in Groups the pushout is the amalgamated free product B *_A C; in commutative rings the pushout is the tensor product B ⊗_A C under suitable hypotheses, and for schemes pushouts are subtler and require glueing data and conditions.

Misapplication

Assuming pushouts preserve monomorphisms, exact sequences, or other finiteness properties in arbitrary categories; misunderstanding categorical versus elementwise constructions (e.g. equating ring pushouts with naive elementwise quotients) can produce incorrect algebraic objects.

Consequence

Proper use yields canonical amalgamations that encode gluing data, permit descent statements, and construct new objects with specified identifications; pushouts appear in presentations, amalgamations, and in forming quotients by relations arising from a common subobject.

Reversal

The dual concept is the pullback (fiber product), which instead forms limits by intersecting or pulling back objects along maps to a common target; pushout is the colimit dual that coalesces along a common source.

Boundary

Exists in any category with the required colimits but its concrete form and properties depend strongly on the ambient category; not all categories admit pushouts, and in many algebraic categories additional hypotheses (flatness, exactness) affect whether expected formulas (like tensor product) realize the pushout.

Semantic Tension

Tension with pullback/limit notions and with naive setwise gluing: pushouts are universal colimits and must be handled via categorical universal properties rather than ad hoc elementwise identifications unless the category admits such descriptions.

Synthesis

A pushout construction is the universal minimal amalgam that coequalizes two maps from a common source, producing an object that glues given data along identifications from the source and serving as the colimit dual to the pullback.