coimagen

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. Sea morfismo , un objeto cociente de se dice coimagen de si 1. * Existe un morfismo tal que 2. * Para cualquier objeto cociente que cumple la condición anterior existe un único morfismo tal que . Dada la definición anterior se demuestra que y