In various branches of mathematics, a useful construction is often viewed as the “most efficient solution” to a certain problem. The definition of a universal property uses the language of category theory to make this notion precise and to study it abstractly.
This article gives a general treatment of universal properties. To understand the concept, it is useful to study several examples first, of which there are many: all free objects, direct product and direct sum, free group, free lattice, Grothendieck group, product topology, Stone–Čech compactification, tensor product, inverse limit and direct limit, kernel and cokernel, pullback, pushout and equalizer.
Read more about Universal Property: Motivation, Formal Definition, Duality, Examples, History
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)
“We do not deride the fears of prospering white America. A nation of violence and private property has every reason to dread the violated and the deprived.”
—June Jordan (b. 1939)