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 :
ainsi que le 11:
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 » :
View original post 318 more words