En álgebra, la coimagen de un homomorfismo Es el cociente del dominio por el núcleo La coimagen es canónicamente isomórfica a la imagen por el primer teorema de isomorfismo.
Más generalmente, en teoría de categorías, la coimagen de un morfismo es el dual de la imagen de un morfismo.
morfismo , un objeto cociente
se dice coimagen de
Dada la definición anterior se demuestra que
{\displaystyle f_{z}=f_{c}\circ h}