Universal Property
Explicitly, the pullback of the morphisms f and g consists of an object P and two morphisms p1 : P → X and p2 : P → Y for which the diagram
commutes. Moreover, the pullback (P, p1, p2) must be universal with respect to this diagram. That is, for any other such triple (Q, q1, q2) for which the following diagram commutes, there must exist a unique u : Q → P (called a mediating morphism) such that and
As with all universal constructions, the pullback, if it exists, is unique up to a unique isomorphism.
Read more about this topic: Pullback (category Theory)
Famous quotes containing the words universal and/or property:
“Music is the sound of the universal laws promulgated. It is the only assured tone. There are in it such strains as far surpass any man’s faith in the loftiness of his destiny. Things are to be learned which it will be worth the while to learn.”
—Henry David Thoreau (1817–1862)
“Things have their laws, as well as men; and things refuse to be trifled with. Property will be protected.”
—Ralph Waldo Emerson (1803–1882)