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 morphismsf : Z → X and g : Z → Y with a common domain: it is the colimit of the span .