Homotopy reflectivity is equivalent to the weak Vopěnka principle
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866929563529904128 |
|---|---|
| author | Casacuberta, Carles Gutiérrez, Javier J. |
| author_facet | Casacuberta, Carles Gutiérrez, Javier J. |
| contents | Homotopical localizations with respect to (possibly proper) classes of maps are known to exist assuming the validity of a large-cardinal axiom from set theory called Vopěnka's principle. In this article, we prove that each of the following statements is equivalent to an axiom of lower consistency strength than Vopěnka's principle, known as weak Vopěnka's principle: (a) Localization with respect to any class of maps exists in the homotopy category of simplicial sets; (b) Localization with respect to any class of maps exists in the homotopy category of spectra; (c) Localization with respect to any class of morphisms exists in any presentable $\infty$-category; (d) Every full subcategory closed under products and fibres in a triangulated category with locally presentable models is reflective. Our results are established using Wilson's 2020 solution to a long-standing open problem concerning the relative consistency of weak Vopěnka's principle within the large-cardinal hierarchy. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_21244 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Homotopy reflectivity is equivalent to the weak Vopěnka principle Casacuberta, Carles Gutiérrez, Javier J. Algebraic Topology Category Theory Logic 55P60, 18A40, 03E55 Homotopical localizations with respect to (possibly proper) classes of maps are known to exist assuming the validity of a large-cardinal axiom from set theory called Vopěnka's principle. In this article, we prove that each of the following statements is equivalent to an axiom of lower consistency strength than Vopěnka's principle, known as weak Vopěnka's principle: (a) Localization with respect to any class of maps exists in the homotopy category of simplicial sets; (b) Localization with respect to any class of maps exists in the homotopy category of spectra; (c) Localization with respect to any class of morphisms exists in any presentable $\infty$-category; (d) Every full subcategory closed under products and fibres in a triangulated category with locally presentable models is reflective. Our results are established using Wilson's 2020 solution to a long-standing open problem concerning the relative consistency of weak Vopěnka's principle within the large-cardinal hierarchy. |
| title | Homotopy reflectivity is equivalent to the weak Vopěnka principle |
| topic | Algebraic Topology Category Theory Logic 55P60, 18A40, 03E55 |
| url | https://arxiv.org/abs/2410.21244 |