In category theory, a branch of mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamated sum) 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 commutative square with the two given morphisms f and g. In fact, the defining universal property of the pushout (given below) essentially says that the pushout is the "most general" way to complete this commutative square. Common notations for the pushout are ${\displaystyle P=X\sqcup _{Z}Y}$ and ${\displaystyle P=X+_{Z}Y}$.

The pushout is the categorical dual of the pullback.

Explicitly, the pushout of the morphisms f and g consists of an object P and two morphisms i₁ : X → P and i₂ : Y → P such that the diagram

commutes and such that (P, i₁, i₂) is universal with respect to this diagram. That is, for any other such triple (Q, j₁, j₂) for which the following diagram commutes, there must exist a unique u : P → Q also making the diagram commute:

As with all universal constructions, the pushout, if it exists, is unique up to a unique isomorphism.

Here are some examples of pushouts in familiar categories. Note that in each case, we are only providing a construction of an object in the isomorphism class of pushouts; as mentioned above, though there may be other ways to construct it, they are all equivalent.

Pushouts are equivalent to coproducts and coequalizers (if there is an initial object) in the sense that:

All of the above examples may be regarded as special cases of the following very general construction, which works in any category C satisfying: