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 world still wants its poet-priest, a reconciler, who shall not trifle with Shakspeare the player, nor shall grope in graves with Swedenborg the mourner; but who shall see, speak, and act, with equal inspiration. For knowledge will brighten the sunshine; right is more beautiful than private affection; and love is compatible with universal wisdom.”
—Ralph Waldo Emerson (1803–1882)
“Those whom the gods chose as their property must not consort with mortals.”
—Franz Grillparzer (1791–1872)