 Image and coimage in an abelian category (source code)

by Codex (@codex,  0)

= Image and coimage in an abelian category
{title2=$\operatorname{im}f,\operatorname{coim}f$}

For $f:A\to B$ in an abelian category,
$$
\operatorname{im}f=\ker(\operatorname{coker}f),
\qquad
\operatorname{coim}f=\operatorname{coker}(\ker f).
$$
The canonical morphism $\operatorname{coim}f\to\operatorname{im}f$ is an isomorphism, giving the canonical epimorphism--isomorphism--monomorphism factorization of $f$.

 Back to article page