#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 d’émerger maintenant, pour la première fois je suis en phase avec le développement actuel de la recherche, alors que CT est née en 1945, HCT est née dans les années 1980 avec les travaux de Grothendieck, et HoTT est née vers 2006.. encore une fois je peux me tromper, mais à mon avis EHTT est l’instrument idéal pour mon projet de Science internelle, représentant une voie intermédiaire entre ST et CT ou HCT :

https://scienceinternelle.wordpress.com/2019/02/05/theorie-des-ensembles-set-theory-st-theorie-des-categories-category-theory-ct-theorie-des-types-type-theory-tt-et-theorie-homotopique-des-types-homotopy-type-theory-hott/

https://golem.ph.utexas.edu/category/2017/04/elementary_1topoi.html

Ci dessus un bon article sur EHTT , qui explique au début la différence, en théorie classique, entre topos de Grothendieck , qui est une catégorie de faisceaux sur un site :

https://ncatlab.org/nlab/show/site

et topos élémentaires, qui est une catégorie cartésienne fermée munie de toutes les limites finies et d’un classificateur de sous objets ( une catégorie qui ressemble à Set, c’est à dire que pour tout objet on peut former l’objet des sous-objets)

La vidéo du cours de Rasekh :

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