2 papers
math.LO2023
On homotopical and cohomological interpretations of Logic
Thiago Alexandre, Gabriel Bittencourt Rios, Hugo Luiz Mariano
Building over some ideas of René Guitart, we provide a categorical framework towards some deviation notions in abstract logic.
math.CT2022
Elementary schematic geometry
Thiago Alexandre
This paper exposes the language of geometric contexts and elementary schemes, which is a functorial formalism to study categories of geometric objects such as schemes, topological…