In mathematics, homotopical algebra is a collection of concepts comprising the nonabelian aspects of homological algebra, and possibly the abelian aspects as special cases. The homotopical nomenclature stems from the fact that a common approach to such generalizations is via abstract homotopy theory, as in nonabelian algebraic topology, and in particular the theory of closed model categories. This subject has received much attention in recent years due to new foundational work of Vladimir Voevodsky, Eric Friedlander, Andrei Suslin, and others resulting in the A1 homotopy theory for quasiprojective varieties over a field. Voevodsky has used this new algebraic homotopy theory to prove the Milnor conjecture (for which he was awarded the Fields Medal) and later, in collaboration with Markus Rost, the full Bloch–Kato conjecture.
See also Derived algebraic geometry Derivator Cotangent complex - one of the first objects discovered using homotopical algebra L∞ Algebra A∞ Algebra Categorical algebra Nonabelian homological algebra
References Goerss, P. G.; Jardine, J. F. (1999), Simplicial Homotopy Theory, Progress in Mathematics, vol. 174, Basel, Boston, Berlin: Birkhäuser, ISBN 978-3-7643-6064-1 Hovey, Mark (1999), Model categories, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1359-1 Quillen, Daniel (1967), Homotopical Algebra, Berlin, New York: Springer-Verlag, ISBN 978-0-387-03914-5
External links An abstract for a talk on the proof of the full Bloch–Kato conjecture