Hello everybody! My name is Riccardo Zanfa and I am currently in my third year of PhD in Como, under the supervision of Prof. Caramello.
Toposes appear especially appealing to me both as 'generalized universes of sets' and as classifiers for models of theories (I am quite fond of logic after all); in particular, I'm fascinated by how toposes can provide interesting points of view on matters like Stone-type dualities and spectra for first-order theories, two topics that have always intrigued me, or in general how toposes can build connections between distant areas of mathematics.
Currently I am working on a joint project with Prof. Caramello dedicated to relative topos theory: in short, the aim is to exploit the theory of stacks to find a geometric and logical formalism that allows to manipulate relative toposes in practice.
When I am not thinking about toposes, I like to think about literature and linguistics, classical music, food and eight-legged animals.