Implication details

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

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

This implication has a dual.

Show 7 categories using this implication