О полуабелевых категориях

Можно показать, что многие категории коммутативной топологической алгебры удовлетворяют аксиомам полуабелевой категории Д. А. Райкова (Р. Ж. Мат, 1970, 2А299). Следующая аксиома доставляет при этом наибольшие трудности: если в коммутативной диаграмме
$$ \begin{matrix} &\overset\alpha\nearrow& E&\overset\beta\searrow&\\ A&&\varepsilon\downarrow& &C\\ &\underset\gamma\searrow& D &\underset\delta\nearrow& \end{matrix} $$
$\alpha=\ker\beta$, $\beta=\operatorname{coker}\alpha$, $\gamma=\ker\delta$, $\delta=\operatorname{coker}\gamma$, то $\varepsilon$ – изоморфизм.
В работе установлено, что эта аксиома вытекает из остальных аксиом полуабелевой категории в предположении аддитивности категории. Указан способ построения полуабелевых подкатегорий абелевой категории,