In category theory, a branch of mathematics, the pushout is the colimit of a diagram consisting of two morphisms f : Z → X and g : Z → Y with a common domain.
The pushout is the categorical dual of the pullback.
