Cohomotopy group

一个能“连续地形变”为另一个，则这两个函数称为同伦的。这样的形变称为两个函数之间的同伦。同伦的一个重要的应用是同倫群和上同伦群（英语：Cohomotopy group）的定义，它们是代数拓扑中重要的不变量（英语：Invariant (mathematics)）。