Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\mathcal{A}$ be a category. If $\mathcal{A}$ is pointed, i.e. has zero objects, then $f$ monic $\implies \operatorname{ker} f = 0$. If $\mathcal{A}$ is abelian, we have the equivalence $f$ monic $\iff \operatorname{ker} f = 0$. However this is true in $\mathsf{Gp}$, which is not abelian. When in general (or more generally) is this true?

It is true when $\mathcal{A}$ is conormal, or more generally when the coequaliser of any two morphisms is a cokernel, but do we need this?

share|cite|improve this question
Related:… – Juan S Jun 9 '12 at 10:01
Thanks @JuanS that is useful. – Paul Slevin Jun 9 '12 at 10:04
I think the forward implication is always true, and the reverse is true in normal categories – Juan S Jun 9 '12 at 10:09
@JuanS do you mean conormal? In a normal category if $f$ is a mono, then indeed it is a kernel, but if I take any $f$ with kernel $0$ it won't necessarily be a mono. However conormality would ensure that the coequaliser of any two morhisms would be a cokernel, which would do it. – Paul Slevin Jun 9 '12 at 10:11
For categories of algebraic structures, you probably need to have some kind of Mal'cev operation in your structure. – Zhen Lin Jun 9 '12 at 10:38

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.