On homotopical and cohomological interpretations of Logic
Building over some ideas of Ren\'e Guitart, we provide a categorical framework towards some deviation notions in abstract logic.
math.LO↗
arXiv subjects
Thiago Alexandre
Publications and source records attributed to Thiago Alexandre.
Elementary schematic geometry
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 manifolds, differential manifolds, analytic manifolds, etc. Through the theory of Grothendieck topologies and geometric contexts, geometry turns out to be the study of local properties which are stable under base change.
math.CT↗