Enhanced bivariant homology theory attached to six functor formalism

Abstract

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.

References in corpus (3)

• Higher Topos Theory
• Enriched $\infty$-categories via non-symmetric $\infty$-operads
• Dualizing cartesian and cocartesian fibrations