pushout

See also: push out

English

Etymology

push +‎ out

Noun

pushout (plural pushouts)

1. (category theory) The colimit of a pair of morphisms which share the same domain.
2. A person who is expelled from school or who drops out because of a lack of support.
   • 1996, Sharon Goodman, David Graddol, Redesigning English: New Texts, New Identities, page 221:

     For most of these school leavers or 'pushouts', school has been an experience of progressive alienation from their traditional way of life. We prefer the term 'pushout' to 'dropout' because the former term appropriately allocates the agency for the phenomenon.

Hypernyms

• colimit

Hyponyms

• coequalizer

See also

• pullback

Anagrams

• outpush