Daily Archives: September 5, 2017

#HigherToposTheory 15 : fibrations d’ensembles simpliciaux

Tout le chapitre 2 du livre de Lurie, qui est lisible ici: http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf (J’utilise pour ma part la version sur papier, la pagination peut être différente) est consacré aux fibrations, terme que nous avons déjà croisé à plusieurs reprises : … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie mathématique, Science, mathesis, Théorie des topoi (topos theory) | Tagged , ,