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:
“Nothing comes to pass in nature, which can be set down to a flaw therein; for nature is always the same and everywhere one and the same in her efficiency and power of action; that is, nature’s laws and ordinances whereby all things come to pass and change from one form to another, are everywhere and always; so that there should be one and the same method of understanding the nature of all things whatsoever, namely, through nature’s universal laws and rules.”
—Baruch (Benedict)
“Strange and predatory and truly dangerous, car thieves and muggers—they seem to jeopardize all our cherished concepts, even our self-esteem, our property rights, our powers of love, our laws and pleasures. The only relationship we seem to have with them is scorn or bewilderment, but they belong somewhere on the dark prairies of a country that is in the throes of self-discovery.”
—John Cheever (1912–1982)