On the Ker-Coker-sequence in a semiabelian category (Q1575107)

The article is devoted to the exactness properties of the Ker-Coker-sequence in a semiabelian category and extends results of the papers of \textit{V. I. Kuz'minov} and \textit{A. Yu. Cherevikin} [Sib. Mat. Zh. 13, 1284-1294 (1972; Zbl 0248.18017)] and \textit{V.~I.~Kuz'minov} and \textit{I.~A.~Shvedov} [Sib. Mat. Zh. 40, No. 4, 893-904 (1999; Zbl 0939.58001)]. Given a commutative diagram \[ \begin{tikzcd} {} & A_0 \ar[r,"\varphi_0"]\ar[d,"\alpha" '] & B_0 \ar[r,"\psi_0"]\ar[d,"\beta" '] & C_0 \ar[r]\ar[d,"\gamma" '] & 0 \\0 \ar[r] & A_1 \ar[r,"\varphi_1" '] & B_1 \ar[r,"\psi_1" '] & C_1 & \end{tikzcd} \] with \( \psi_0 = \text{coker } \varphi_0 \) and \( \varphi_1 = \text{ker } \psi_1 \), the authors consider the corresponding Ker-Coker-sequence \[ 0\to\text{Ker} \alpha \overset\varepsilon\rightarrow \text{Ker} \beta \overset\zeta\rightarrow \text{Ker} \gamma \overset\delta\rightarrow \text{Coker} \alpha \overset\tau\rightarrow \text{Coker} \beta \overset\theta\rightarrow \text{Coker} \gamma 0 \tag{1} \] and prove that \begin{itemize} \item[(a)] if \( \beta \) is a strict morphism, then \( \delta \) is a strict morphism and (1) is exact at \( \operatorname{Ker}\gamma \) and \(\operatorname{Coker}\alpha \); \item[(b)] if \( \varphi_0 \) is a strict morphism, then (1) is exact at \(\operatorname{Ker}\beta \) and \( \varepsilon \) is a strict morphism; \item[(c)] if \(\psi_1 \) is a strict morphism, then (1) is exact at \( \operatorname{Coker}\beta \) and \( \theta \) is a strict morphism; \item[(d)] if \( \alpha \) is a strict morphism, then \( \zeta \) is a strict morphism and (1) is exact at \(\operatorname{Ker}\beta \) and at \( \operatorname{Ker}\gamma \); \item[(e)] if \(\gamma \) is a strict morphism, then \( \tau \) is a strict morphism and (1) is exact at \( \operatorname{Coker}\beta \) and \(\operatorname{Coker}\alpha \). \end{itemize}