1. In an abelian category (such as the category of abelian groups or the category of vector spaces over a given field), consider a commutative diagram: where the rows are exact sequences and 0 is the zero object.

В абелевой категории (такой как категория абелевых групп или категория векторных пространств над фиксированным полем), рассмотрим коммутативную диаграмму: строки которой являются точными последовательностями, а 0 — нулевой объект.