 Solution

In a pointed category, a normal monomorphism is a monomorphism that is the kernel in a category of some morphism. Suppose $m:M\hookrightarrow A$ is the kernel of $f:A\to B$, and let $q:A\to Q$ be the cokernel in a category of $m$. Since $fm=0$, there is a unique $\bar{f}:Q\to B$ with $f=\bar{f}q$. If $qx=0$, then $fx=\bar{f}qx=0$, so the universal property of $m=\ker f$ factors $x$ uniquely through $m$. Therefore $m=\ker q=\ker (\mathrm{coker}m)$. The converse is immediate: if $m$ is the kernel of its cokernel, it is the kernel of a morphism and hence normal.

An abelian category is an additive category with kernels and cokernels in which every monomorphism is normal and every epimorphism is a conormal epimorphism. Finite biproducts and kernels give finite limits. The image and coimage in an abelian category give every $f:A\to B$ the canonical factorizationand the middle map is an isomorphism. The first map is a cokernel and therefore a regular epimorphism. Every epimorphism in an abelian category is the cokernel of its kernel, and epimorphisms are stable under pullback; consequently regular epimorphisms are pullback-stable. This proves that every abelian category is regular.

Define the additive indexing category for chain complexes $\mathbf{Z}$ as follows. Its objects are the integers andLet the generator of $\mathbf{Z}(n,n)$ be $1_n$ and the generator of $\mathbf{Z}(n,n-1)$ be ${\partial }_n$. Composition is bilinear, the $1_n$ are identities, andbecause the target hom-group $\mathbf{Z}(n,n-2)$ is zero. An additive functor $C:\mathbf{Z}\to \mathcal{A}$ chooses objects $C_n=C(n)$ and differentials $d_n=C({\partial }_n)$ satisfying $d_{n-1}{d}_n=0$, hence a complex in an abelian category. Conversely every chain complex defines this unique additive functor.

For self-duality, put $Z_n=\ker d_n$, $B_n=\mathrm{im}{d}_{n+1}$, and let $q:C_n\to Q_n=\mathrm{coker}{d}_{n+1}$. Since $d_n{d}_{n+1}=0$, there is a unique ${\bar{d}}_n:Q_n\to C_{n-1}$ with ${\bar{d}}_{n}q=d_n$. The image-to-kernel factorization gives a canonical isomorphismPassing to the opposite category exchanges kernels with cokernels and images with coimages. The usual construction in ${\mathcal{A}}^{\mathrm{op}}$ is therefore the expression on the right, which is canonically the original homology object. This proves the self-duality of homology.