Uniqueness of Kernels in Abelian Categories Refering to Serge Lang's "Algebra" pp. 133-134 on Abelian Categories, the following is unclear to me. Let $Q$ be an additive category and $F\stackrel{f}\rightarrow E$ a morphism. Let $A \stackrel{\alpha}\rightarrow F$ and $B \stackrel{\beta}\rightarrow F$
be two category-theoretic kernels of $f$ (as defined in the text). It is claimed that $\alpha$ and $\beta$ are isomorphic in a suitable category. What is this category? It is natural to consider the category of morphisms of $Q$ of the form $X \rightarrow F$, where $X$ is some object of $Q$. But i still can't see why $A$ and $B$ are isomorphic.
 A: Lemma: If $\alpha:A\rightarrow F$ is a kernel of $f:F\rightarrow E$, then $\alpha \circ f = 0$.
Proof:
By the definition of the kernel, we have exactness of the sequence:
$$0 \rightarrow \operatorname{Hom}(A,A)\rightarrow \operatorname{Hom}(A,F) \rightarrow \operatorname{Hom}(A,E)$$
But $\alpha$ is the image of ${id}_A$ above, so alpha must go to zero in $\operatorname{Hom}(A,E)$.
Now, given two kernels, $\alpha$ and $\beta$ we have the exact sequence:
$$0 \rightarrow \operatorname{Hom}(B,A)\rightarrow \operatorname{Hom}(B,F) \rightarrow \operatorname{Hom}(B,E)$$
But $\beta\in\operatorname{Hom}(B,F)$, is a kernel, so we know that the image of $\beta$ in $\operatorname{Hom}(B,E)$ is zero, so $\beta = \alpha \circ i$ for some  $i$ in $\operatorname{Hom}(B,A)$.
Similarly, $\alpha = \beta \circ j$ for some $j\in \operatorname{Hom}(A,B)$.
Now let $k = i \circ j$.  Then $k \in \operatorname{Hom}(A,A)$.  But since $\alpha \circ k = \alpha \circ i \circ j = \alpha$, and $\operatorname{Hom}(A,A)\rightarrow \operatorname{Hom}(A,F)$ is 1-1, this means that $k = {id}_A$.  
Similarly, $j \circ i = {id}_B$.
So $\alpha$ and $\beta$ are isomorphic in the category of maps in $Q$ which terminate in $F$.
A: Thomas's proof can be shortened by using properties of a universal object (here a terminal object), as Lang suggests. Consider a category $K$ (from “kernel”) where objects are morphisms $\gamma$ of $Q$ such that $f\circ\gamma=0$ and where morphisms are commuting triangles as in slice categories.
Take an arbitrary kernel $\alpha$. By Thomas's lemma, $\alpha$ is an object of $K$. For every object $\beta$ of $K$, let $B$ be its domain, $\beta\in\operatorname{Hom}(B,F)$, $f\circ\beta=0$, then $\beta$ maps to $0$ in the sequence
$$\operatorname{Hom}(B,A) \to\operatorname{Hom}(B,F) \to \operatorname{Hom}(B,E)$$
then, by exactness, $\beta$ has a preimage in this sequence, i.e. $\beta$ factorizes into $\alpha$. $\operatorname{Hom}(B,A)\to\operatorname{Hom}(B,F)$ in this sequence is injective, then $\beta$ factorizes uniquely. Then $\beta$ factorizes uniquely into $\alpha$. Then $\alpha$ is terminal in $K$. Terminal objects are isomorphic by the unique isomorphism.
