A descent principle for compact support extensions of functors

A characteristic property of compact support cohomology is the long exact sequence that connects the compact support cohomology groups of a space, an open subspace and its complement. Given an arbitrary cohomology theory of algebraic varieties, one can ask whether a compact support version exists, satisfying such a long exact sequence. This is the case whenever the cohomology theory satisfies descent for abstract blowups (also known as proper cdh descent). We make this precise by proving an equivalence between certain categories of hypersheaves. We show how several classical and non-trivial results, such as the existence of a unique weight filtration on compact support cohomology, can be derived from this theorem.