To add two extensions of by , take their direct sum, form a pullback in a category along the diagonal , and form a pushout in a category along addition . This produces another extension of by and defines addition in . In a quiver representation, vertexwise splittings express the two extensions by off-diagonal arrow matrices, and the Baer sum adds those matrices modulo the extension complex of quiver representations coboundaries.
Articles by others on the same topic
There are currently no matching articles.