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

中文翻译：

---

附加到六函子形式主义的增强双变量同调理论

双变量理论是上同调和 Borel-Moore 同调理论的统一框架。在本文中，我们提取了一个$\infty$- 来自 Gaitsgory-Rozenblyum 的六函子形式主义的增强双变量同调理论。