#HoTT #HTTUF #EHTT reprendre l’étude de #HigherToposTheory

L’année dernière j’avais réalisé un fort « investissement » sur le livre « Higher topos theory » de Jacob Lurie  , qui est lisible ici :

http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf

ainsi d’ailleurs que sur la nouvelle discipline « Homotopy type theory «  , inventée au début du 21 eme siècle, dont le blog est ici :

https://homotopytypetheory.org

et le « Livre » Saint ici :

The HoTT Book

Les articles que j’ai écrits sont sous les hashtags :#HoTT et #HigherToposTheory

Depuis j’ai acheté le livre « Homotopy type theory » et je possède aussi le livre de Lurie. Je n’hésite pas à dire que ce sont là les deux livres les plus importants pour l’Histoire de l’esprit humain, qui devra bien être étudiée un jour, dépassant largement Ancien Testament, Coran ou Somme théologique, qui peuvent aussi être étudiés sur Internet.

Mais j’ai aussi trouvé un site sérieux qui identifie les deux :

https://anthroposophiephilosophieetscience.wordpress.com/2019/09/30/hott-httuf-homotopy-type-theory-highertopostheory/

http://coqhott.gforge.inria.fr/fichiers/CoqHoTT-local.pdf

Il s’agit de la pointe avancée du progrès de l’esprit humain, progrès de la conscience , c’est à dire de la science avec  conscience, dont parlait Brunschvicg:

https://anthroposophiephilosophieetscience.wordpress.com/2018/01/31/hott-levenement-spirituel-de-la-theorie-homotopique-des-types/

https://anthroposophiephilosophieetscience.wordpress.com/2017/08/29/hott-theorie-homotopique-des-types-une-revolution-des-mathematiques/

Or il existe dans ce blog un article qui porte sur les rapports entre les deux théories, et si elles sont la même chose, ceux ci ne peuvent qu’être étroits :

https://anthroposophiephilosophieetscience.wordpress.com/2017/05/21/de-highertopostheory-a-homotopytypetheory/

Où l’on trouve cette page du wiki Nlab consacré à HoTT :

https://ncatlab.org/homotopytypetheory/show/model+of+type+theory+in+an+(infinity,1)-topos

 

This entry was posted in ∞-topoi, EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, opposition monde véritable-monde imaginaire, Science, mathesis, Science-internelle. Bookmark the permalink.