本文介绍的是拓扑学中的同伦论. 关于抽象的同伦论, 请参见 “高阶范畴论”.
同伦论是代数拓扑的子分支, 研究映射的同伦.
从高阶范畴论的角度来看, 拓扑空间的同伦论本质上是研究它构成的 ∞-范畴的具体性质.
术语翻译
同伦论 • 英文 homotopy theory • 法文 théorie de l’homotopie