Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence