Homotopical algebra is not concrete
Abstract
We generalize Freyd's well-known result that "homotopy is not concrete", offering a general method to show that under certain assumptions on a model category $\mathcal M$, its homotopy category $\text{ho}(\mathcal M)$ cannot be concrete. This result is part of an attempt to understand more deeply the relation between set theory and abstract homotopy theory.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2017
- DOI:
- 10.48550/arXiv.1704.00303
- arXiv:
- arXiv:1704.00303
- Bibcode:
- 2017arXiv170400303L
- Keywords:
-
- Mathematics - Category Theory;
- Mathematics - Algebraic Topology;
- Mathematics - Logic;
- 18G55;
- 18E35;
- 18A22
- E-Print:
- Final version, accepted for publication on Journal of Homotopy and Related Structures