Pullback (category theory)

Most general completion of a commutative square given two morphisms with same codomain

Preimages of sets under functions can be described as pullbacks as follows:

Graphically this means that two pullback squares, placed side by side and sharing one morphism, form a larger pullback square when ignoring the inner shared morphism.