-
Given a pair of morphisms and with a common domain, Z, their pushout is a pair of morphisms and as well as their common codomain, P, such that the equation is satisfied, and for which there is the universal property that for any other object Q for which there are also morphisms and ; there is a unique morphism such that and .
(noun)
Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License