Pushout

- Mathematics & Logic -
Pure Mathematics Dictionary
The categorical colimit that glues two objects along a common subobject: given maps A → B and A → C, the pushout B ⊔_A C is the universal object receiving maps from B and C that agree on A.