Implication Details

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

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

Show 6 categories using this implication