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

This implication has a dual.