CatDat

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 $g,h : B \rightrightarrows C$ is the kernel of $g-h : B \to C$.