Шесть операций

Шесть операций Гротендика в гомологической алгебре представляют собой формализм, основанный на соотношениях в конечных когомологиях.
Аксиомы, лежащие в основе формализма, справедливы во многих контекстах, включая D-модули, пучки на топологических пространствах и мотивы.
Операции состоят из шести функторов, обычно между производными категориями.
Функторы образуют сопряженную пару и связаны с внутренним тензорным произведением и внутренним Hom.
Морфизм схем f индуцирует несколько функторов, включая сопряженные функторы f* и f*.
В производной категории существуют соответствующие функторы, такие как Lf*, Rf*, Rf!, f!, ⊗L и RHom.
В статье рассматриваются изоморфизмы и треугольники в производной категории, связанные с морфизмами схем и различными категориями.

Полный текст статьи:

Шесть операций — Википедия