CatDat

Implication Details

Claim: If a category has kernels and is preadditive, then it has equalizers.

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