Daily Archives: April 16, 2018

#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 Click to access menagerie10.pdf A … Continue reading

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