#HigherToposTheory 15 : fibrations d'ensembles simpliciaux
#HigherToposTheory 15 : fibrations d’ensembles simpliciaux
Tout le chapitre 2 du livre de Lurie est consacré aux fibrations, terme que nous avons déjà croisé à plusieurs reprises : ainsi chez Joyal ce sont les morphismes de “structures de tribus” (Page 13):
https://ncatlab.org/homotopytypetheory/files/Joyal.pdf
Les ensembles simpliciaux sont des foncteurs dirigés vers la catégorie Set, topos des ensembles:
https://meditationesdeprimaphilosophia.wordpress…
View On WordPress













