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 appetite for power, even for universal power, is only insane when there is no possibility of indulging it; a man who sees the possibility opening before him and does not try to grasp it, even at the risk of destroying himself and his country, is either a saint or a mediocrity.”
—Simone Weil (1909–1943)
“Let the amelioration in our laws of property proceed from the concession of the rich, not from the grasping of the poor. Let us understand that the equitable rule is, that no one should take more than his share, let him be ever so rich.”
—Ralph Waldo Emerson (1803–1882)