Pullback in a category

ID: pullback-in-a-category

The pullback of is a universal commutative square with an object mapping to and . In the Category of sets, it is the set of pairs with equal images in .

New to topics? Read the docs here!