# pushout

Noun

(*plural* pushouts)

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