![[1241] Théorie de l’homotopie motivique et groupes d’homotopie stables, d’après Morel–Voevodsky, Isaksen–Wang–Xu, ...](/media/cache/video_light/uploads/video/Bourbaki.png)
publiée le 19 juin 2025
[1241] Théorie de l’homotopie motivique et groupes d’homotopie stables, d’après Morel–Voevodsky, Isaksen–Wang–Xu, ...
De Frédéric Déglise
1/4 A crash course in topos theory : the big picture
De André Joyal
Apparaît dans la collection : Topos à l'IHES
About half of the topos theory of SGA4 is devoted to categorical generalities. They are now subsumed by the modern theory of (locally) presentable categories. I will sketch this theory, stressing the results that are important for topos theory. The category of complete lattices and sup-preserving maps is a toy example of this theory.
