Algorithmic and Extremal Obstructions Through the Language of Cohomology

Anny Beatriz Azevedo, Benjamin Merlin Bumpus, Matteo Capucci +2

We model problems as presheaves that assign sets of certificates to input instances, and we show how to use presheaf Čech cohomology to capture the precise ways in which local sol…