Such a timeline is necessarily highly subjective. With this disclaimer in mind, we can identify some important turns in the development of foundations of homotopy theory. The list below concentrates on developments that in some way affect the foundations of homotopy theory, as opposed to general advances in homotopy theory. Given the length of the list, I probably omitted many important developments, feel free to point them out in the comments! I also excluded from consideration the last decade or so, restricting to older developments. **Poincaré** defined _homology_ (via Betti numbers) and the _fundamental group_ in a series of papers starting from 1895. The initial approach was nonrigorous, but in response to the resulting criticism, Poincaré reformulated his work in terms of simplicial complexes. **Fréchet** defined _metric spaces_ in 1906 and **Hausdorff** defined _topological spaces_ in 1914. This enabled to study the topological properties of spaces without first triangulating them. Around 1925, Emmy **Noether** proposed to upgrade Betti numbers to _homology groups_. In connection with this, sometime in 1930s, the terminology shifted from “combinatorial topology” to “algebraic topology”. Around 1931, **Veblen** and J. H. C. **Whitehead** introduced the modern definition of a _smooth manifold_. **Eilenberg** defined _singular homology_ in 1943, which resulted in a systematic study of homology and cohomology (defined by **Kolmogoroff** and **Alexander** in 1936) of arbitrary topological spaces. Around 1945, **Leray** introduced _sheaves_ and _spectral sequences_. The relevant theory was further developed by **Cartan**, **Serre**, and others. **Eilenberg** and **MacLane** introduced _categories_, _functors_, and _natural transformations_ in 1945. Ever since then, category theory played an increasingly important role in homotopy theory, to the point where we are now often unable to cleanly separate them. **Eilenberg** and **Zilber** developed the theory of _simplicial sets_ (known at the time as “complete semi-simplicial complexes**) in 1949. J. H. C. **Whitehead** proved what is now known as the _Whitehead theorem_ in 1948. **Eilenberg** and **Steenrod** published their _Foundations of Algebraic Topology_ in 1952, formulating what is now known as the _Eilenberg–Steenrod axioms_. Around 1953, **Cartan** and **Eilenberg** completed their book on homological algebra (published in 1956). **Kan** (advised by **Eilenberg**) systematically developed simplicial homotopy theory (and briefly also cubical homotopy theory) starting from around 1955. He introduced combinatorial homotopy groups, the **Dold**–Kan correspondence, adjoint functors, limits and colimits, Kan extensions, etc. **Lima** defined _spectra_ in 1958. **Quillen** published his _Homotopical Algebra_ in 1967, introducing _model categories_ and using them in his _Rational homotopy theory_ around 1968. Around 1972, he introduced _higher algebraic K-theory_. In 1971, **Gabriel** and **Ulmer** published their systematic account of _locally presentable categories_. **Segal** introduced <a href="https://doi.org/10.1016/0040-9383(74)90022-6">_Γ-spaces_</a> around 1972. At the same time, **May** introduced operads, also in connection with infinite loop spaces. **Brown** studied the homotopy theory of <a href="https://doi.org/10.2307/1996573">_sheaves of spaces and spectra_</a> in 1972. **Boardman** and **Vogt** introduced <a href="https://doi.org/10.1007/BFb0068547">_quasicategories_</a> in 1973. In 1977, **Sullivan** published his work on _rational homotopy theory_ in the language of commutative differential graded algebras, complementing the previous work by Quillen. **Dwyer** and **Kan** introduced and developed the theory of <a href="https://doi.org/10.1016/0022-4049(80)90049-3">_simplicial localizations_</a> starting from around 1979. Around 1979, **Bousfield** introduced what is now known as <a href="https://doi.org/10.1016/0040-9383(79)90018-1">_Bousfield localizations_</a>. In 1983, **Grothendieck** introduced what is now known as _Grothendieck homotopy theory_, as well as _derivators_. In 1980s, **Joyal** established what is now known as the <a href="https://ncatlab.org/nlab/show/model+structure+on+simplicial+sets#joyal_model_structure_on_simplicial_sets">_Joyal model structure_</a> on simplicial sets. In mid-1980s, **Segal** (following Witten) introduced what is now known as <a href="https://doi.org/10.1007/978-94-015-7809-7_9">_functorial field theory_</a>, later studied by Atiyah, Kontsevich, Freed, Lawrence, and many others. In 1985, **Jardine** gave an account of <a href="http://math.uchicago.edu/~amathew/simplicialpresheaves.pdf">_simplicial presheaves_</a>. Around 1986, **Lewis**, **May**, **Steinberger**, **McClure** introduced genuine <a href="https://doi.org/10.1007/BFb0075778">equivariant spectra</a>. In 1989, **Makkai** and **Paré** published a systematic account of _accessible categories_. In 1995, **Baez** and **Dolan** formulated the <a href="https://arxiv.org/abs/q-alg/9503002">_cobordism and tangle hypotheses_</a>, which perhaps qualifies as the first noticeable conjecture about (∞,n)-categories for arbitrary n. In 1997, **Elmendorf**, **Kriz**, **Mandell**, **May** published the first ever account of a <a href="https://web.archive.org/web/20161019233205id_/http://www.math.uchicago.edu:80/~may/BOOKS/EKMM.pdf">_symmetric monoidal category of spectra_</a>. In 1998, **Hovey**, **Shipley**, **Smith** published an account of <a href="https://arxiv.org/abs/math/9801077">_symmetric spectra_</a>. In 1998, **Rezk** introduced <a href="https://arxiv.org/abs/math/9811037">_complete Segal spaces_</a>. In the late 1990s, **Voevodsky** introduced and developed _motivic homotopy theory_ (including some joint work with **Morel**). Around the late 1990s, **Smith** introduced _combinatorial model categories_ and proved what is now known as the <a href="https://ncatlab.org/nlab/show/combinatorial+model+category#SmithTheorem">_Smith recognition theorem_</a> and established the existence of left Bousfield localizations of left proper combinatorial model categories. <a href="https://arxiv.org/abs/math/0209342">_Monoidal model categories_</a> were systematically studied by **Schwede** and **Shipley** starting from 1997. In 2006 (based on a 2003 preprint), **Lurie**'s <a href="https://arxiv.org/abs/math/0608040">_Higher Topos Theory_</a> came out, first as an online draft, which was later published.