On homotopical and cohomological interpretations of Logic

Abstract

Building over some ideas of René Guitart, we provide a categorical framework towards some deviation notions in abstract logic.