Cohomological correspondence categories
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.