Cohomological correspondence categories
arXiv:1808.05803 · doi:10.2140/agt.2020.20.1487
Abstract
We prove that homotopy invariance and cancellation properties are satisfied by any linear category of correspondences that is defined, via Calmès and Fasel's construction, by an underlying cohomology theory. In particular, this includes any category of correspondences arising from the cohomology theory defined by an MSL-algebra.