Enhanced bivariant homology theory attached to six functor formalism

Bivariant theory is a unified framework for cohomology and Borel-Moore homology theories. In this paper, we extract an $\mathrm{\infty }$-enhanced bivariant homology theory from Gaitsgory-Rozenblyum’s six functor formalism.