In this presentation, a substitutive syntactic site for the classifying topos of a geometric theory is introduced. This construction is understood in light of the relationship between localic expansions and internal locales. The usual syntactic site is recovered as a topos theoretic completion of the substitutive site.
De Dustin Clausen
De Riccardo Zanfa
De Jean-Claude Belfiore
De Daniel Bennequin
De Samson Abramsky
De Jens Hemelaer
De Francesco Genovese
De Albert Schwarz
De Clément Delcamp
De Clément Delcamp
