#HigherToposTheory reading guide to HTT

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

Je crois que j’avais signalé cette page de discussions à propos du livre de Lurie:

https://nforum.ncatlab.org/discussion/2748/a-learning-roadmap-for-higher-topos-theory/

C’est sur cette page que j’ai pris Connaissance du vaste travail encyclopédique de Tim Porter « Crossed menagerie »

https://ncatlab.org/nlab/show/Crossed%20Menagerie

https://ncatlab.org/timporter/files/menagerie10.pdf

A noter aussi le travail de Charles Rezk

https://faculty.math.illinois.edu/~rezk/homotopy-topos-sketch.pdf

Advertisements
This entry was posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Ensembles simpliciaux, Higher category theory, Higher topos theory, homotopy type theory, Philosophie mathématique, Quasicatégories, Science, mathesis, Science-internelle. Bookmark the permalink.