Many homotopy categories are homotopy categories (Q818351): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.topol.2005.02.006 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2012099811 / rank | |||
Normal rank |
Revision as of 20:06, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Many homotopy categories are homotopy categories |
scientific article |
Statements
Many homotopy categories are homotopy categories (English)
0 references
20 March 2006
0 references
A well known theorem of \textit{A. Strøm} [Arch. Math. 23, 435--441 (1972; Zbl 0261.18015)] states that the category of topological spaces admits a model category structure where weak equivalences are homotopy equivalences and fibrations are Hurewicz fibrations. The paper generalizes this result as follows. Let \(\mathcal A\) be a complete and cocomplete category which is enriched, tensored and cotensored over the category of compactly generated topological spaces. For objects \(X, Y\in\mathcal A\) one can define a homotopy of morphisms from \(X\) to \(Y\) as a map \(X\otimes I \rightarrow Y\) (where \(I\) is the unit interval). This in turn can be used to define the notions of a homotopy equivalence and Hurewicz fibration in \(\mathcal A\). The author shows that these classes of morphisms define a model category structure on \(\mathcal A\) provided that an additional hypothesis concerning behavior of certain colimits is satisfied. Beside the category of topological spaces this result applies to the categories of \(G\)-spaces, prespectra, spectra, \(S\)-modules and others.
0 references
model category
0 references
homotopy category
0 references
Hurewicz fibration
0 references