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:
“It is long ere we discover how rich we are. Our history, we are sure, is quite tame: we have nothing to write, nothing to infer. But our wiser years still run back to the despised recollections of childhood, and always we are fishing up some wonderful article out of that pond; until, by and by, we begin to suspect that the biography of the one foolish person we know is, in reality, nothing less than the miniature paraphrase of the hundred volumes of the Universal History.”
—Ralph Waldo Emerson (1803–1882)
“You and I ... are convinced of the fact that if our Government in Washington and in a majority of the States should revert to the control of those who frankly put property ahead of human beings instead of working for human beings under a system of government which recognizes property, the nation as a whole would again be in a bad situation.”
—Franklin D. Roosevelt (1882–1945)