Source: wikibot/pullback-category-theory
= Pullback (category theory)
{wiki=Pullback_(category_theory)}
In category theory, a **pullback** is a way of constructing a new object (or diagram) that represents the idea of "pulling back" information from two morphisms through a common codomain. It can be thought of as a limit in the category of sets (or in any category where limits exist), and it captures how two morphisms can be jointly represented.