Lemma 12.5.2. Let $\mathcal{A}$ be a preadditive category. The additions on sets of morphisms make $\mathcal{A}^{opp}$ into a preadditive category. Furthermore, $\mathcal{A}$ is additive if and only if $\mathcal{A}^{opp}$ is additive, and $\mathcal{A}$ is abelian if and only if $\mathcal{A}^{opp}$ is abelian.
Proof. The first statement is straightforward. To see that $\mathcal{A}$ is additive if and only if $\mathcal{A}^{opp}$ is additive, recall that additivity can be characterized by the existence of a zero object and direct sums, which are both preserved when passing to the opposite category. Finally, to see that $\mathcal{A}$ is abelian if and only if $\mathcal{A}^{opp}$ is abelian, observes that kernels, cokernels, images and coimages in $\mathcal{A}^{opp}$ correspond to cokernels, kernels, coimages and images in $\mathcal{A}$, respectively. $\square$
Comments (0)
There are also: