Universal Property
In the language of category theory, the direct sum is a coproduct and hence a colimit in the category of left R-modules, which means that it is characterized by the following universal property. For every i in I, consider the natural embedding
which sends the elements of Mi to those functions which are zero for all arguments but i. If fi : Mi → M are arbitrary R-linear maps for every i, then there exists precisely one R-linear map
such that f o ji = fi for all i.
Dually, the direct product is the product.
Read more about this topic: Direct Sum Of Modules
Famous quotes containing the words universal and/or property:
“A princely marriage is the brilliant edition of a universal fact, and, as such, it rivets mankind.”
—Walter Bagehot (1826–1877)
“No man is by nature the property of another. The defendant is, therefore, by nature free.”
—Samuel Johnson (1709–1784)