On the generalisation of cohomology with compact support to non-finite type schemes

In this article we extend Deligne’s construction of Grothendieck’s six operations on the derived category of torsion sheaves over the 'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes profinite 'etale coverings as well as separated morphisms perfectly of finite type