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:
“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)
“The construction of life is at present in the power of facts far more than convictions.”
—Walter Benjamin (1892–1940)
“All cultural change reduces itself to a difference of categories. All revolutions, whether in the sciences or world history, occur merely because spirit has changed its categories in order to understand and examine what belongs to it, in order to possess and grasp itself in a truer, deeper, more intimate and unified manner.”
—Georg Wilhelm Friedrich Hegel (1770–1831)