CatDat

Implication Details

Assumptions: equalizerszero morphisms

Conclusions: kernels

Proof: This is trivial.

Show 14 categories using this implication