On the generalisation of cohomology with compact support to non-finite type schemes
arXiv:1902.04831
Abstract
In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the étale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes profinite étale coverings as well as separated morphisms perfectly of finite type
19 pages