Simplifications of finite spaces equipped with sheaves

Following the classical results of Stong, we introduce a cohomological analogue of a core of a finite sheaved topological space and propose an algorithm for simplification in this category. In particular we generalize the notion of beat vertices and show that if a vertex of a sheaved space has topologically acyclic downset (with trivial coefficients), then its removal preserves the sheaf cohomology.