Dualidad de Grothendieck

Un formalismo en la categoría derivada (y en contextos coherentes/compactos) que describe una dualidad entre los funtores de empuje directo y de ‘pullback’ extraordinario: para un morfismo de tipo finito adecuado f existe una adjunción entre Rf_* y f^! mediada por un complejo dualizante relativo, generalizando las dualidades de Serre y Verdier.