CT2019 Edinburgh : exposé d’Emily Riehl ( travail en association avec Dominic Verity)

cet exposé est ici:

http://www.math.jhu.edu/~eriehl/CT2019.pdf

L’exemple paradigmatique de 1-topos est Set, la catégorie des 0-catégories (ensembles)

l’exemple paradigmatique de 2-topos est Cat, catégorie de toutes les (petites) catégories

https://ncatlab.org/nlab/show/2-topos#the_archetypical_2topos

l’exemple paradigmatique d’un ∞-topos est l’∞-catégorie Spaces :

https://anthroposophiephilosophieetscience.wordpress.com/2018/01/11/scienceinternelle-l∞-topos-s-spaces-joue-dans-le-domaine-des-∞-categories-le-role-du-1-topos-set-dans-le-domaine-des-categories/

https://ncatlab.org/nlab/show/%28infinity%2C1%29-topos+theory

https://ncatlab.org/nlab/show/%28infinity%2C1%29-topos

https://anthroposophiephilosophieetscience.wordpress.com/2019/07/03/highertopostheory-toen-vezzosi-segal-topoi-and-stacks-over-segal-categories/

https://anthroposophiephilosophieetscience.wordpress.com/2019/07/03/on-∞-topoi/

La version la plus récente du travail de Riehl et Verity

http://www.math.jhu.edu/~eriehl/elements.pdf

 

Advertisements
This entry was posted in ∞-topoi, Higher topos theory, Théorie des ensembles (set theory), Théorie des topoi (topos theory). Bookmark the permalink.