First, we need to show that the composition of morphisms in $\operatorname{Hom}(C, C)$ is associative. Let $f, g, h \in \operatorname{Hom}(C, C)$. Then, by the definition of an additive category, we have $(f \circ g) \circ h = f \circ (g \circ h)$.
Show more…