Definition
Let be a category with some objects and . An object is the product of and, denoted, iff it satisfies this universal property:
- there exist morphisms, called the canonical projections or projection morphisms, such that for every object and pair of morphisms there exists a unique morphism such that the following diagram commutes:
The unique morphism is called the product of morphisms and and is denoted .
Above we defined the binary product. Instead of two objects we can take an arbitrary family of objects indexed by some set . Then we obtain the definition of a product.
An object is the product of a family of objects iff there exist morphisms, such that for every object and a -indexed family of morphisms there exists a unique morphism such that the following diagrams commute for all :
The product is denoted ; if, then denoted and the product of morphisms is denoted .
Read more about this topic: Product (category Theory)
Famous quotes containing the word definition:
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)