同伦纤维

普通逆像只接受精确命中 $y_0$ 的点，因此对映射作同伦扰动时可能骤然改变。同伦纤维给每个 $x$ 附上一份“命中误差的连续证书”——从 $f(x)$ 走向 $y_0$ 的路径。映射变形时，证书也随之变形，所以对象记录的是映射的同伦类型，而不是某个坐标表达式的偶然截面。

这也解释了它为何比普通纤维大：每个真正位于纤维中的 $x$ 可以配常值路径，但还允许所有可沿路径抵达基点的像点。额外路径不是冗余装饰；它们正好把任意映射升级成纤维化，并制造环路空间到同伦纤维的作用。

取次数为 $m\ne 0$ 的圆周映射

它是 $|m|$ 层覆叠，因而已是纤维化，普通纤维由 $|m|$ 个点组成。同伦纤维的同伦长正合列公理库同伦长正合列Long exact sequence of homotopy groups · Homotopy exact sequence把空间对或纤维化中的提升障碍按维数连接起来的正合序列。含有

乘 $m$ 的核为零、商集由 $\mathbb{Z}/m\mathbb{Z}$ 的剩余类标记，故同伦纤维有 $|m|$ 个道路分支且每个分支可缩，与真实离散纤维同伦等价。这个计算同时保留了“核控制高一阶群、商控制分支”的低维信息。

若 $f:X\to \ast$ 是到一点的映射，则 $\mathrm{hofib}(f)\simeq X$；若 $\ast \to Y$ 选取基点，则同伦纤维是 $\mathrm{\Omega }Y$。若 $f$ 是同伦等价，其同伦纤维弱可缩；反向陈述需要空间类别和纤维序列的条件，不能对任意病态映射仅凭集合逆像下结论。

同伦纤维不等于映射锥，也不等于把定义域压成一点所得的同伦余纤维。前者组织提升并导出同伦群长正合列，后者组织延拓并导出约化同调长正合列；把二者混淆会把箭头方向整体反转。

同伦纤维把映射的“失败程度”对象化。若 $f$ 在某个维数范围诱导同伦群同构，则其同伦纤维在相应范围内连通；反过来，纤维的消失范围给出 $f$ 的连通度。这种翻译让弱等价、截面存在性与提升障碍都能用一个空间的同伦群陈述。

在 Postnikov 塔中，每层映射的同伦纤维是 Eilenberg–Mac Lane 空间；在同伦极限中，同伦纤维是最基本的同伦拉回；在参数族问题中，它又把“解的空间”与“约束映射”连接起来。实际计算必须固定目标基点；若 $Y$ 不道路连通，换到另一分支的基点甚至可能得到空的或完全不同的同伦纤维。