English Dictionary

pushout

noun

(category theory) 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.

The pushout of two morphisms in the category of sets is the coproduct of their pushouts in the category of sets.

意味（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.

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.