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:
“Vanity, or to call it by a gentler name, the desire of admiration and applause, is, perhaps, the most universal principle of human actions.... Where that desire is wanting, we are apt to be indifferent, listless, indolent, and inert.... I will own to you, under the secrecy of confession, that my vanity has very often made me take great pains to make many a woman in love with me, if I could, for whose person I would not have given a pinch of snuff.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“It is clearly better that property should be private, but the use of it common; and the special business of the legislator is to create in men this benevolent disposition.”
—Aristotle (384–322 B.C.)