#EHTT André Joyal : What is an elementary higher topos EHT ? a tentative definition

Le texte des slides est ici :

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

Il reprend cette conférence :

https://ncatlab.org/homotopytypetheory/files/Joyal.pdf

que j’ai commentée ici :

https://scienceinternelle.wordpress.com/2019/02/14/hott-mike-shulman-categorical-models-of-homotopy-type-theory/

https://anthroposophiephilosophieetscience.wordpress.com/2019/02/10/la-correspondance-entre-ct-et-hott-selon-andre-joyal/

Mais la vidéo du cours est ici :

Advertisements
This entry was posted in ∞-catégories, ∞-cosmoi, category theory, EHTT, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Science, mathesis, Science-internelle. Bookmark the permalink.