Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 18 / 8 / a

In a pointed category, a zero object defines zero morphisms between all objects. A categorical cokernel of $f:A\to B$ is a map $g:B\to C$ with $gf=0$ such that every $u:B\to X$ with $uf=0$ factors uniquely as $u=\bar{u}g$. Equivalently it is the coequalizer of $f$ and the zero map, so $g$ is an epimorphism.

Write $a:A\to A^{\prime }$, $b:B\to B^{\prime }$, and $c:C\to C^{\prime }$ for the vertical arrows, with $g^{\prime }=\mathrm{coker}{f}^{\prime }$ and $cg=g^{\prime }b$. The left pushout in a category applied to the compatible pair $g:B\to C$ and $0:A^{\prime }\to C$ gives $h:B^{\prime }\to C$ satisfying $hb=g$ and $h{f}^{\prime }=0$. The categorical cokernel property of $g^{\prime }$ then gives $d:C^{\prime }\to C$ with $d{g}^{\prime }=h$.

Now $dcg=d{g}^{\prime }b=hb=g$. Cancel the epimorphism $g$ to obtain $dc=1_C$. To prove the other identity, the two arrows $cd{g}^{\prime },g^{\prime }:B^{\prime }\to C^{\prime }$ agree after $b$, because $cd{g}^{\prime }b=cg=g^{\prime }b$, and after $f^{\prime }$, because both composites are zero. The pushout in a category uniqueness clause gives $cd{g}^{\prime }=g^{\prime }$. Cancelling the epimorphism $g^{\prime }$ gives $cd=1_{C^{\prime }}$.

Thus $c$ is an isomorphism: cokernel invariance under pushout holds already in pointed categories with the indicated cokernels.