# Definition:Zero Morphism in Preadditive Category

Let $A$ be a preadditive category.
Let $a,b$ be objects of $A$.
The zero morphism $0 : a \to b$ is the identity element of their hom set $\operatorname{Hom}(a, b)$.