Formal Definition
Another way to describe the localization of a ring R at a subset S is via category theory. If R is a ring and S is a subset, consider all R-algebras A, so that, under the canonical homomorphism R → A, every element of S is mapped to a unit. These algebras are the objects of a category, with R-algebra homomorphisms as morphisms. Then, the localization of R at S is the initial object of this category.
Read more about this topic: Localization Of A Ring
Famous quotes containing the words formal and/or definition:
“The spiritual kinship between Lincoln and Whitman was founded upon their Americanism, their essential Westernism. Whitman had grown up without much formal education; Lincoln had scarcely any education. One had become the notable poet of the day; one the orator of the Gettsyburg Address. It was inevitable that Whitman as a poet should turn with a feeling of kinship to Lincoln, and even without any association or contact feel that Lincoln was his.”
—Edgar Lee Masters (1869–1950)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)