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:
“For universal love is as special an aspect as carnal love or any of the other kinds: all forms of mental and spiritual activity must be practiced and encouraged equally if the whole affair is to prosper. There is no cutting corners where the life of the soul is concerned....”
—John Ashbery (b. 1927)
“Never let the estate decrease in your hands. It is only by such resolutions as that that English noblemen and English gentlemen can preserve their country. I cannot bear to see property changing hands.”
—Anthony Trollope (1815–1882)