Notes on Presheaf Representations of Strategies and Cohomological Refinements of K-Consistency and K-Equivalence