pushout

From Wiktionary, the free dictionary
Archived revision by AugPi (talk | contribs) as of 01:16, 1 November 2019.
Jump to navigation Jump to search
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.

Hypernyms

Hyponyms

See also

Anagrams