Describing model categories througth homotopy tiny objects

MaRDI QIDQ6395392zbMATH OpenFDO

Authors Anna Giulia Montaruli

Publication date 1 April 2022

Mathematics Subject Classification ID

Enriched categories (over closed or monoidal categories) (18D20) Homotopical algebra, Quillen model categories, derivators (18N40) Stable homotopy theory, spectra (55P42) Equivariant homotopy theory in algebraic topology (55P91)

Abstract: Let $mathcalC$ be a $mathcalV$-enriched model category. We say that an object $x$ of $mathcalC$ is homotopy tiny if the total right derived functor of $mathcalC(x,-):mathcalCightarrowmathcalV$ preserves homotopy weighted colimits. Let $mathcal{C}_0$ be a full subcategory of $mathcalC$ all of whose objects are homotopy tiny. Our main result says that the homotopy category of the category generated by $mathcal{C}_0$ under weak equivalences and homotopy weighted colimits is equivalent to the homotopy category of the category $mathcal{V}^{mathcal{C}_0^{op}}$ of $mathcalV$-enriched presheaves on $mathcal{C}_0$ with values in $mathcalV$. If $mathcalC$ is generated by $mathcal{C}_0$, then $mathcalC$ is Quillen equivalent to $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.

This page was built for publication: Describing model categories througth homotopy tiny objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6395392)