Pullback in a category
= Pullback in a category
{wiki=Pullback_(category_theory)}
The pullback of $X\to Z\leftarrow Y$ is a universal commutative square with an object mapping to $X$ and $Y$. In the <Category of sets>, it is the set of pairs with equal images in $Z$.