En álgebra , la coimagen de un homomorfismo
es el cociente
del dominio por el kernel . La coimagen es canónicamente isomórfica a la imagen según el primer teorema de isomorfismo , cuando ese teorema se aplica.
De manera más general, en la teoría de categorías , la coimagen de un morfismo es la noción dual de la imagen de un morfismo . Si, luego una coimagen de (si existe) es un epimorfismo tal que
- hay un mapa con ,
- para cualquier epimorfismo para el cual hay un mapa con , hay un mapa único tal que ambos y