Pushout Definition

(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 .