Funtor Derivado

Una construcción que asigna a un funtor aditivo F entre categorías abelianas (típicamente no exacto) una sucesión de funtores R^iF o L_iF (functores derivados a la derecha o a la izquierda) que miden el fallo de exactitud, obtenidos aplicando F a una resolución inyectiva o proyectiva y tomando cohomología u homología, o equivalentemente pasando al funtor derivado total en la categoría derivada.

Una construcción que asocia a un funtor (izquierdo o derecho) entre categorías abelianas (o adecuadamente derivadas) una secuencia de funtors superiores (R^iF o L_iF) obtenidos al aplicar F a resoluciones (inyectivas o proyectivas) y tomar cohomología; mide cuánto falla F en ser exacto.