Marc Hoyois

The formalism of six operations encodes the functorial behavior of (co)homology theories. It was first introduced by Grothendieck for the l-adic cohomology of schemes, and was later developed in a variety of other geometric contexts: D-modules on...