kernel and monomorphism in pointed category

1. Proposition

Let \(\mathcal{A}\) be a pointed and \(f: X \rightarrow Y\) a morphism

TFAE:

  1. \(f\) is a monomorphism
  2. the kernel is the zero object: \(\mathrm{ker}(f) = 0\)

2. Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-10-20 So 09:15