Universal Property
Explicitly, the pushout of the morphisms f and g consists of an object P and two morphisms i1 : X → P and i2 : Y → P for which the following diagram commutes:
Moreover, the pushout (P, i1, i2) must be universal with respect to this diagram. That is, for any other such set (Q, j1, j2) for which the following diagram commutes, there must exist a unique u : P → Q also making the diagram commute:
As with all universal constructions, the pushout, if it exists, is unique up to a unique isomorphism.
Read more about this topic: Pushout (category Theory)
Famous quotes containing the words universal and/or property:
“The freedom to share one’s insights and judgments verbally or in writing is, just like the freedom to think, a holy and inalienable right of humanity that, as a universal human right, is above all the rights of princes.”
—Carl Friedrich Bahrdt (1740–1792)
“In the Greek cities, it was reckoned profane, that any person should pretend a property in a work of art, which belonged to all who could behold it.”
—Ralph Waldo Emerson (1803–1882)