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.
New to topics? Read the docs here!