kernel and monomorphism in pointed category
1. Proposition
Let \(\mathcal{A}\) be a pointed and \(f: X \rightarrow Y\) a morphism
TFAE:
- \(f\) is a monomorphism
- the kernel is the zero object: \(\mathrm{ker}(f) = 0\)
2. Proof
follows dually to cokernel and epimorphism in an abelian category