#HigherToposTheory un guide pour la navigation dans le livre de Jacob Lurie

Leave a reply

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

Il vaut peut être la peine, avant de se lancer seul dans la forêt profonde de « Higher Topos theory » de Lurie, de survoler l’ensemble afin d’avoir une idée précise de l’architecture de ce vaste monument : l’article 12 du hashtag avait été consacré à cela :

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

ainsi que le 11:

https://anthroposophiephilosophieetscience.wordpress.com/2017/01/21/highertopostheory-11-une-carte-routiere-pour-letude-de-higher-topos-theory-de-jacob-lurie/

Il y a en gros quatre manières de lire « Higher topos theory »

1) le guide de lecture de Spahn :

https://ncatlab.org/spahn/show/a%20reading%20guide%20to%20HTT#a2_model_categories

préconise de commencer par les catégories modèles :

https://ncatlab.org/spahn/show/HTT%2C+A.2+model+categories

avec des renvois au Wiki de Spahn:

https://ncatlab.org/spahn/show/factorization+system

dont on peut voir le contenu en cliquant en haut sur « All pages »:

https://ncatlab.org/spahn/all_pages

Le guide comporte aussi des renvois au Catlab d’André Joyal, dont la version « en lecture seule » est :

https://ncatlab.org/joyalscatlab/published/HomePage

là encore , on peut voir le contenu en extension en cliquant sur « All pages » :

https://ncatlab.org/joyalscatlab/all_pages

View original post 315 more words

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

Leave a reply

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

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/

View original post 75 more words

#HigherToposTheory Toen, Vezzosi : Segal topoi and stacks over Segal categories

Leave a reply

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

https://arxiv.org/abs/math/0212330

papier très important , Jacob Lurie précise en page 527 de HTT :

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

« Our notion of ∞-topos is essentially  equivalent to the notion of Segal topos introduced in the paper of Toen , Vezzosi and to Charles Rezk’s notion of model topos. We note Also That the paper of Toen, Vezzosi has considerable overlap with the ideas discussed here «

View original post