![[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
New variations on the notion of topos
De André Joyal
Apparaît dans la collection : Topos à l'IHES
The notion topos is a prominent member of a family of notions which includes that of abelian category, of locally presentable category and of higher topos. We propose two new members: the notion of locus and that of para-topos. The category of pointed spaces and the category of spectra are examples of loci. The category of small (weak) $n$-categories is an example para-topos for every $n\geq 1$.
