Daily Archives: February 16, 2019

#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

Posted in ∞-catégories, ∞-cosmoi, category theory, EHTT, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Science, mathesis, Science-internelle

#EHTT Nima Rasekh : towards algebraic topology in an elementary higher topos (EH- topos = EHT)

Le texte est ici : https://www.uwo.ca/math/faculty/kapulkin/seminars/hottestfiles/Rasekh-2019-02-07-HoTTEST.pdf Une partie en a été commentée ici : https://scienceinternelle.wordpress.com/2019/02/15/ehtt-vs-hott-what-is-an-elementary-higher-topos/ EHTT est à mon sens ce qui va prendre la suite de HoTT , je peux me tromper bien sûr .. et c’est en train … Continue reading

Posted in EHTT, Higher category theory, Higher topos theory, homotopy type theory, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

#EHTT Mike Shulman ;: towards elementary ∞-toposes

Le texte de ce cours est ici : https://video.ias.edu/sites/video/files/eleminf.pdf En vidéo :

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, EHTT, homotopy type theory