Definition:Zero Morphism in Preadditive Category

Definition
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 $\map {\operatorname {Hom} } {a, b}$.

Also see

 * Definition:Category with Zero Morphisms
 * Definition:Zero Object