pushout

名词 n.
中文释义

英文释义

名词 n.
  1. 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.
    — 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.

词形变化

pushouts plural

词汇关系

上位词
colimit
下位词
coequalizer
相关词
pullback

词源

* Deverbal from push out.
* (one who leaves school): Intended to avoid the negative implications of dropout.
0 次浏览 数据来源: Wiktionary