In category theory, a branch of mathematics, a pushout is the colimit of a diagram consisting of two morphisms f: Z → X and g: Z → Y with a common domain. The pushout consists of an object P along with two morphisms X → P and Y → P that complete a... Wikipedia