Secuencia Exacta

Una sucesión de objetos y morfismos ...A → B → C... en una categoría aditiva o abeliana (o en cualquier categoría con núcleos e imágenes) tal que en cada objeto la imagen del morfismo entrante es igual al núcleo del morfismo saliente; la exactitud codifica relaciones algebraicas precisas.