Double Toposes
Félix Loubaton
I2M, Aix-Marseille
https://felixloubaton.github.io/
Date(s) : 09/04/2026 iCal
11h00 - 12h30
One perspective on (Grothendieck) toposes is to view them as a place where we
can perform a “set-like” theory. The question of identifying place to do a
“category-like” theory then arises naturally. (One of the) answer is provided
by the notion of double topos.
After a brief introduction recalling the definition of toposes, we will define
double categories and present some of their properties. Finally, we will
introduce double toposes and state a double categorical Giraud theorem.
This results are part of a work in progress in collaboration with Jaco Ruit.
Emplacement
I2M Luminy - TPR2, Salle de Séminaire 304-306 (3ème étage)
Catégories
