A Generalized Blakers-Massey Theorem
Algebraic Topology
2021-01-11 v5 Category Theory
Abstract
We prove a generalization of the classical connectivity theorem of Blakers-Massey, valid in an arbitrary higher topos and with respect to an arbitrary modality, that is, a factorization system (L,R) in which the left class is stable by base change. We explain how to rederive the classical result, as well as a recent generalization by Chach\'olski-Scherer-Werndli. Our proof is inspired by the one given in Homotopy Type Theory.
Cite
@article{arxiv.1703.09050,
title = {A Generalized Blakers-Massey Theorem},
author = {Mathieu Anel and Georg Biedermann and Eric Finster and André Joyal},
journal= {arXiv preprint arXiv:1703.09050},
year = {2021}
}
Comments
v5: few typos corrected, 38 pages, paper accepted for publication in the Journal of Topology