Six operations
In mathematics, Grothendieck's six operations, named after Alexander Grothendieck, is a formalism in homological algebra, also known as the six-functor formalism. It originally sprang from the relations in étale cohomology that arise from a morphism of schemes f : X → Y. The basic insight was that many of the elementary facts relating cohomology on X and Y were formal consequences of a small number of axioms.