#HoTT André Joyal what is an elementary higher topos ?

En version écrite :

https://www.msri.org/workshops/689/schedules/18227/documents/2046/assets/20468

Autres liens

https://faculty.math.illinois.edu/~rasekh2/talks/ehttalk.pdf

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

Advertisements
This entry was posted in ∞-catégories, ∞-topoi, category theory, Higher topos theory, homotopy type theory, Science, mathesis, Science-internelle, Théorie des topoi (topos theory). Bookmark the permalink.