代数拓扑——同伦理论描述了同伦理论。它得以兴旺发展，应归功于W. Hurewicz1935年引进同伦群以及S. Eilenberg用同伦群引进关于映射扩张的障碍类。同伦理论包括同伦群πn(X)，相对同伦群、上同伦群、谱序列以及障碍理论。我们还详细讨论了第1同伦群（也称为基本群）π1(X)，它在同伦群中性质知道最多，与它有关的研究成果也最多。我们将展示近代微分几何中曲率与基本群相关的一些成果。同调群与同伦群都是拓扑不变量，也都是同伦不变量。他们是比点集拓扑中得拓扑不变量（如连通性、紧致性）更难、更复杂、更高档次的不变量。我们将给出用连通性、紧致性不能判断不同胚、不同伦，而用同调群或者同伦群却能判断不同胚、不同伦的种种具体实例。最后，还给出了球面 Sn的弱冠同伦群的结果。