1
$\begingroup$

Take a morphism $f:X\to X$ in a category with the same domain and codomain. I want to test whether $f$ is a monomorphism. This means, taking arbitrary $g_1,g_2:Y \to X$ with $f\circ g_1=f\circ g_2$ it should follow that $g_1=g_2$.

Does it suffice for a retraction $f:X\to X$ to be a monomorphism that for all $g_1,g_2:X \to X$ with $f\circ g_1=f\circ g_2$ it follows that $g_1=g_2$?

  • 0
    If your category is additive (don't actually remember if additive is enough, but if you go with "abelian" then you're sure) it is enough that $\ker f =0$.2012-03-03

1 Answers 1

1

If $f: X\to Y$ is a retraction (even if domain and codomain are not the same) then it is indeed sufficient to consider maps $g_1,g_2: X\to X$ in the above: let $s: Y \to X$ be a map with $f\circ s = id_Y$, then you have $f\circ s\circ f = f = f\circ id_X$. Therefore $s\circ f = id_X$ and $f$ is in fact an isomorphism with inverse $s$.