  We prove that homotopy invariance and cancellation properties are satisfied
by any linear category of correspondences that is defined, via Calm\`es 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.
