nLab Puppe exact category

Puppe-exact category


Homological algebra

homological algebra

(also nonabelian homological algebra)



Basic definitions

Stable homotopy theory notions



diagram chasing

Schanuel's lemma

Homology theories


Regular and exact categories

∞-ary regular and exact categories



Puppe-exact category


Loosely speaking the notion of Puppe exact categories is that of abelian categories without the requirement of additivity. The remaining exactness properties still permit a considerable amount of homological algebra.


A well-powered category 𝒞\mathcal{C} is called Puppe exact (or p-exact for short) iff


The notion of Puppe exact categories was introduced by Puppe (1962) as a weakening of the notion of abelian categories. Their homological algebra was studied by Mitchell (1965). They were extensively used by Marco Grandis in his work on distributive homological algebra in the 1980s.

Grandis worked on further generalizations that he called semi-exact or homological. This family differs from the concepts around semi-abelian categories studied in particular in the 2004 monograph by Francis Borceux and Dominique Bourn with respect to the existence of finite limits in the latter. Grandis (2010) proposed viewing the difference as akin to the difference between projective and affine spaces.


The original articles:

  • Dieter Puppe, Korrespondenzen in abelschen Kategorien , Math. Ann. 148 (1962) pp.1-30. (gdz)

  • Barry Mitchell, Theory of categories, Pure and Applied Mathematics 17, Academic Press, 1965.

See also:

Last revised on August 29, 2021 at 10:50:37. See the history of this page for a list of all contributions to it.