zero object as cokernel for an epimorphism
1. Proposition
Let be a pointed category and an epimorphism. Then the cokernel is the zero object
2. Proof
Suppose there exists a morphism such that
commutes. Then we conclude since the zero morphism factors through , that
and hence
Thus
commutes.
Uniqueness follows from the uniqueness of the zero morphism.