4 citations · 9 across the 15 of their papers we have counts for
1 paper · 2 filters
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 solu…