ホモトピー代数学

数学において、ホモトピー代数学 (homotopical algebra) はホモロジー代数学の"非アーベル"な側面と、特別な場合としてアーベルな側面からもなる概念の集まりである。名前の"ホモトピー"は次の事実に由来する。そのような一般化への共通のアプローチは、においてと同様、とくにの理論を経由する。
この主題は新しい基本的な研究によって最近多くの注目を浴びている。それは , , 他の人たちによるものでその結果は体上のに対するである。Voevodsky はこの新しい代数的ホモトピー論をミルナー予想の証明に使い（これによって彼はフィールズ賞を受賞した）、後に と協力してを完全に証明するのに使った。