Implication Details

Claim: If a category is mono-regular and is preadditive, then it is normal.

Proof: If a monomorphism is the equalizer of $f,g$, it is the kernel of $f-g$.