pushout
Meanings
noun
- The colimit of a pair of morphisms which share the same domain.
- A person who is expelled from school or who drops out because of a lack of support.
Word forms
Etymology
* Deverbal from push out. * (one who leaves school): Intended to avoid the negative implications of dropout.
Related words
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.