Coimage
= Coimage
{title2=$\operatorname{coim}f=\operatorname{coker}(\ker f)$}
In an <abelian category>, the coimage of a <morphism> is its domain modulo its <kernel in a category>, expressed as a <cokernel in a category>. The canonical arrow from the coimage to the image is an <isomorphism>, giving the <image factorization in an abelian category>.