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:
“I believe there’s no proverb but what is true; they are all so many sentences and maxims drawn from experience, the universal mother of sciences.”
—Miguel De Cervantes (1547–1616)
“The charming landscape which I saw this morning is indubitably made up of some twenty or thirty farms. Miller owns this field, Locke that, and Manning the woodland beyond. But none of them owns the landscape. There is property in the horizon which no man has but he whose eye can integrate all parts, that is, the poet. This is the best part of these men’s farms, yet to this their warranty-deeds give no title.”
—Ralph Waldo Emerson (1803–1882)