In category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit of a diagram consisting of two morphisms f: X→Z and g:Y→Z with a common codomain; it is the limit of the cospan X→ Z ← Y. The pullback is often written