21 citations · 24 across the 4 of their papers we have counts for
4 papers
The unification of Mathematics via Topos Theory - Russian version
Olivia Caramello
We present a set of principles and methodologies which may serve as foundations of a unifying theory of Mathematics. These principles are based on a new view of Grothendieck topose…
A topos-theoretic approach to Stone-type dualities
Olivia Caramello
We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new du…
Lattices of theories
Olivia Caramello
We show that there is a bijection between the subtoposes of the classifying topos of a geometric theory T over a signature L and the closed geometric theories over L which are `quo…
Fraisse's construction from a topos-theoretic perspective
Olivia Caramello
We present a topos-theoretic interpretation of (a categorical generalization of) Fraisse's construction in model theory, with applications to countably categorical theories.