Grothendieck-Dualität

Ein Formalismus in der dériven Kategorie (und in kohärenten/kompakten Kontexten), der eine Dualität zwischen Pushforward- und außerordentlichem Pullback-Funktoren beschreibt: Für einen geeignet endlichen Morphismus f gibt es eine Adjungierte zwischen Rf_* und f^!, vermittelt durch ein relatives dualisierendes Komplex, und damit eine Verallgemeinerung von Serre- und Verdier-Dualität.