Implication Details

Claim: Given a morphism whose category is preadditive, if it is a regular monomorphism, then it is a normal monomorphism.

Proof: The equalizer of $f,g : B \rightrightarrows C$ is the kernel of $f-g : B \to C$.