In category theory, a branch of mathematics, a pullback is the limit of a diagram consisting of two morphisms f: X → Z and g: Y → Z with a common codomain. The pullback is written P = X ×f, Z, g Y. Usually the morphisms f and g are omitted from... Wikipedia