#simplicial sets

[spectrallysequenced]

[mahometgrosporc]

#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

[graal813]

#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

[topos318]

#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:…

View On WordPress

[eka-mark]

this is very very good; recommended for

people who know some basic cat theory and are interested in algebraic topology

people who want to look at pretty pictures of math stuff