Pullback (category theory) (source code)

= Pullback
{disambiguate=category theory}
{wiki}

= Pullback in a category
{synonym}

= Pullback
{synonym}

= Pullbacks in a category
{synonym}

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$.