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:
“It is remarkable what a value is still put upon wood even in this age and in this new country, a value more permanent and universal than that of gold. After all our discoveries and inventions no man will go by a pile of wood. It is as precious to us as it was to our Saxon and Norman ancestors. If they made their bows of it, we make our gun-stocks of it.”
—Henry David Thoreau (1817–1862)
“Crimes increase as education, opportunity, and property decrease. Whatever spreads ignorance, poverty and, discontent causes crime.... Criminals have their own responsibility, their own share of guilt, but they are merely the hand.... Whoever interferes with equal rights and equal opportunities is in some ... real degree, responsible for the crimes committed in the community.”
—Rutherford Birchard Hayes (1822–1893)