The story
* Deverbal from push out. * (one who leaves school): Intended to avoid the negative implications of dropout.
Etymology from Wiktionary, CC BY-SA 4.0.
pushout
Today it means: The colimit of a pair of morphisms which share the same domain. Full definition →