Construction of Ext in Abelian Categories
This identification enables us to define Ext1
Ab(A, B) even for abelian categories Ab without reference to projectives and injectives. We simply take Ext1
Ab(A, B) to be the set of equivalence classes of extensions of A by B, forming an abelian group under the Baer sum. Similarly, we can define higher Ext groups Extn
Ab(A, B) as equivalence classes of n-extensions
under the equivalence relation generated by the relation that identifies two extensions
if there are maps Xm → X′m for all m in {1, 2, ..., n} so that every resulting square commutes.
The Baer sum of the two n-extensions above is formed by letting X′′
1 be the pullback of X′′
1 and X′
1 over A, and X′′
n be the pushout of Xn and X′
n under B quotiented by the skew diagonal copy of B. Then we define the Baer sum of the extensions to be
Read more about this topic: Ext Functor
Famous quotes containing the words construction of, construction and/or categories:
“The construction of life is at present in the power of facts far more than convictions.”
—Walter Benjamin (1892–1940)
“No real “vital” character in fiction is altogether a conscious construction of the author. On the contrary, it may be a sort of parasitic growth upon the author’s personality, developing by internal necessity as much as by external addition.”
—T.S. (Thomas Stearns)
“Of course I’m a black writer.... I’m not just a black writer, but categories like black writer, woman writer and Latin American writer aren’t marginal anymore. We have to acknowledge that the thing we call “literature” is more pluralistic now, just as society ought to be. The melting pot never worked. We ought to be able to accept on equal terms everybody from the Hassidim to Walter Lippmann, from the Rastafarians to Ralph Bunche.”
—Toni Morrison (b. 1931)