En álgebra homológica, un "funtor exacto" es un funtor de una categoría abeliana a otra que preserva sucesiones exactas.
Sea "A" y "C" categorías abelianas y sea : "F": "AC" un funtor, sea : "0ABC0" una sucesión exacta corta de objetos de "A" entonces "F" es exacto si "0F(C)F(B)F(A)0" es de nuevo una sucesión exacta....