A generalized Blakers–Massey theorem
| Autor: | Eric Finster, Mathieu Anel, Georg Biedermann, André Joyal |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Pure mathematics
Class (set theory) 55P99 18F99 Generalization 010102 general mathematics Mathematics - Category Theory 01 natural sciences Topos theory Base change Factorization system 0103 physical sciences FOS: Mathematics Homotopy type theory Algebraic Topology (math.AT) Category Theory (math.CT) Mathematics - Algebraic Topology 010307 mathematical physics Geometry and Topology 0101 mathematics Modality (semiotics) Mathematics |
| Zdroj: | Journal of Topology. 13:1521-1553 |
| ISSN: | 1753-8424 1753-8416 |
| DOI: | 10.1112/topo.12163 |
| Popis: | 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. Comment: v5: few typos corrected, 38 pages, paper accepted for publication in the Journal of Topology |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|