nonabelian homological algebra


Homological algebra

homological algebra

(also nonabelian homological algebra)



Basic definitions

Stable homotopy theory notions



diagram chasing

Homology theories




Nonabelian homological algebra studies the generalizations of elements of homological algebra to ambient categories which are not abelian categories.

For example, the 5-lemma, 9-lemma?, the snake lemma are some of the “elements” which can be generalized to a wide class of categories. Typical classes of categories suitable for some elements of homological algebra are protomodular categories, homological categories, and semi-abelian categories.

Terminology and relations to other fields

Though they may be shown to be related the subject of nonabelian cohomology is a bit different from nonabelian homological algebra.

The nonabelian groups were historical motivation for much of the subject. While abelian groups are the template of an object in an abelian category, large part of work was directed toward understanding of what is the right generalization of concept of a group, what lead to a definition of a semi-abelian category.


Main contributors are Dominique Bourn, George Janelidze, Francis Borceux. Their direction of work is largely influenced by motivations from universal algebra.

A recent independent development is the work of Alexander Rosenberg listed below in references. It features also the nonadditive triangulated categories and a new version of algebraic K-theory as byproducts. In unfinished part of the work further generalization of the homological algebra in the fibered categories is considered.


Revised on July 28, 2010 20:13:29 by Urs Schreiber (