English

Describing model categories througth homotopy tiny objects

Algebraic Topology 2022-04-04 v1 Category Theory

Abstract

Let C\mathcal C be a V\mathcal V-enriched model category. We say that an object xx of C\mathcal C is homotopy tiny if the total right derived functor of C(x,):CV\mathcal C(x, -) : \mathcal{C} \rightarrow {\mathcal V} preserves homotopy weighted colimits. Let C0\mathcal C_0 be a full subcategory of C\mathcal C all of whose objects are homotopy tiny. Our main result says that the homotopy category of the category generated by C0\mathcal C_0 under weak equivalences and homotopy weighted colimits is equivalent to the homotopy category of the category VC0op\mathcal V^{\mathcal C_0^{op}} of V\mathcal V-enriched presheaves on C0\mathcal C_0 with values in V\mathcal V. If C\mathcal C is generated by C0\mathcal C_0, then C\mathcal C is Quillen equivalent to VC0op\mathcal V^{\mathcal C_0^{op}}. Two special cases of our theorem are Schwede-Shipley's theorem on stable model categories and Elmendorf's theorem on equivariant spaces.

Keywords

Cite

@article{arxiv.2204.00336,
  title  = {Describing model categories througth homotopy tiny objects},
  author = {Anna Giulia Montaruli},
  journal= {arXiv preprint arXiv:2204.00336},
  year   = {2022}
}
R2 v1 2026-06-24T10:34:30.690Z