##  [Pushout Construction](/pushout-construction-0) 

 Definition

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

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

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

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

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

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

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

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

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.