Implication Details

Assumptions: mono-regular, preadditive

Conclusions: normal

Reason: The a monomorphism is the equalizer of f,gf,g, it is the kernel of f−gf-g.