Pushout Construction

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.