Next week, on the 8th and 9th of September, the Ninth Symposium on Compositional Structures (SYCO 9) is taking place in Como.
I have been invited to give a talk on this occasion. The title of my presentation is Relative toposes as a generalization of locales. The abstract is as follows:
The aim of this talk is to present a way for representing relative toposes which naturally generalizes the construction of the topos of sheaves on a locale, and which is particularly effective for describing the morphisms between relative toposes in a concrete way. Our theoretical framework is based on the language of stacks and fibred sites, and provides, amongst other things, a unified setting for investigating the relationships between Grothendieck toposes as built from sites and elementary toposes as built from triposes.
Looking forward to seeing many of you in Como!