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 bed is now as public as the dinner table and governed by the same rules of formal confrontation.”
—Angela Carter (1940–1992)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)