CatDat

Implication Details

Assumptions: mono-regular, preadditive

Conclusions: normal

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