Théorème de Blakers-Massey généralisé

Title - HTML
Nom de l'orateur
Eric Finster
Etablissement de l'orateur
Ecole Polytechnique
Date et heure de l'exposé
14-01-2016 - 11:00:00
Lieu de l'exposé
Salle Hypatia
Résumé de l'exposé

I will present (in French) a generalization of the Blakers-Massey theorem which applies to a family of factorization systems (satisfying some axioms) on an arbitrary infinity topos. The classical theorem is obtained by considering the category of spaces and the n-trucated/n-connected factorization system. The proof itself is inspired by previous work on proving the Blakers-Massey theorem in Homotopy Type Theory, that is, using only the internal language of a higher topos. Time permitting, I will discuss applications to Goodwillie's Calculus of Funtors.

comments