Equivalence of Definitions of Kernel of Morphism

Theorem
Let $\mathbf C$ be a category with zero object $0$.

Let $f : A \to B$ be a morphism in $\mathbf C$.

Then the following definitions of kernel of $f$ are equivalent.

Definition 1 implies Definition 2
By definition of Zero Object, $0$ is an initial object, so Definition 1 is possible.

Let $f : A \to B$ be a morphism in $\mathbf C$.

Let $k : K \to A$ be a pullback of $f$ along the zero morphism $0 : 0 \to B$.

We check the universal property of the equalizer of $f$ and the zero morphism $0 : A \to B$.

Suppose $T$ is any object and $h : T \to A$ is any morphism with $f \circ h$ = $0 \circ h$.

By Composition with Zero Morphism is Zero Morphism $f \circ h = 0 : T \to B$.

By Definition it follows, that $h : T \to A$ and $0 : T \to 0$ is a cone on the pullback diagram defined by $f$ and $0 : 0 \to B$.

There is a unique morphism $t : T \to K$ with $0 \circ t = 0 : T \to 0$ and $k \circ t = h$.

It follows, that $k$ is an equalizer $\map {\mathrm {Eq} } {f, 0}$.

Definition 2 implies Definition 1
Let $f : A \to B$ be a morphism in $\mathbf C$.

Assume, that $k : K \to A$ is an equalizer of $f$ and $0 : A \to B$.

Since $0$ is a zero object, we have unique morphisms $\alpha : K \to 0$ and $\beta : 0 \to B$.

The composition $0 : K \to B$ is a zero morphism.

The following diagram is commutative:
 * $\begin{xy}\xymatrix@L+2mu@+1em{

K \ar[r]^k \ar[d]^{\alpha} & A \ar[d]^f \\ 0 \ar[r]^{\beta} & B }\end{xy}$

Let $T$ be an object of $\mathbf C$.

Let $t_1 : T \to A$ and $t_2 : T \to 0$ be morphisms such that:
 * $f \circ t_1 = \beta \circ t_2$

By definition of zero morphism $\beta \circ t_2$ is a zero morphism.

Thus $f \circ t_1$ is a zero morphism.

By Composition with Zero Morphism is Zero Morphism $0 \circ t_1$ is a zero morphism.

By Uniqueness of Zero Morphism $0 \circ t_1 = f \circ t_1$.

It follows, that $\struct {T, t_1}$ is a cone on the equalizer diagram given by $f$ and $0 : A \to B$.

By definition of equalizer, there exists a unique morphism $t : T \to K$ such that $k \circ t = t_1$.

By Uniqueness of Zero Morphism:
 * $\alpha \circ t = t_2$

It follows that $\struct {K, k, \alpha}$ satisfies the definition of pullback.