pullback (category theory)

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  and with a common codomain; it is the limit of the cospan . The pullback is often written