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:
“When the leaders choose to make themselves bidders at an auction of popularity, their talents, in the construction of the state, will be of no service. They will become flatterers instead of legislators; the instruments, not the guides, of the people.”
—Edmund Burke (1729–1797)
“No construction stiff working overtime takes more stress and straining than we did just to stay high.”
—Gus Van Sant, U.S. screenwriter and director, and Dan Yost. Bob Hughes (Matt Dillon)
“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)