Archives quotidiennes :

De #HigherToposTheory à #HomotopyTypeTheory

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

J’ai commencé à étudier sur ce blog, dans le Hashtag #HigherToposTheory l’extraordinaire livre de Jacob Lurie  » Higher Topos theory » que l’on peut lire gratuitement sur plusieurs sites, comme Arxiv, ou bien ici:

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

Le dernier article publié dans le Hashtag est le numéro 12:

https://anthroposophiephilosophieetscience.wordpress.com/2017/04/19/highertopostheory-un-nouveau-guide-de-lecture/

Ordepuis une dizaine d’années une nouvelle discipline a émergé, qui possède de fortes connexions avec la théorie multidimensionnelle des catégories et des topoi (« higher category theory », « higher topos theory ») . Cette nouvelle discipline s’appelle :

Homotopy type theory

(En abrégé :

HoTT

)
et il existe sur Google un groupe de discussions : HoTT Cafe

avec ce fil de discussion consacré aux relations de HoTT avec les travaux de Jacob Lurie et la « Higher topos theory »:

https://groups.google.com/forum/m/#!msg/hott-cafe/oBRMrk17G0I/5QBNVcE4AgAJ

Parmi les intervenants, on peut noter Urs Schreiber, qui participe de façon régulière comme rédacteur, au Nlab et au blog n-category café, ainsi que Mike Schulman qui…

View original post 660 mots de plus

Publicités