链复形的同伦范畴

$\mathbf{Ch}(\mathcal{A})$ 记住链级别的全部选择，而 $K(\mathcal{A})$ 把只差一个 $dh+hd$ 的映射视为同一箭头。这样做恰好丢弃同调看不见的映射差异，又保留足够多的链级信息来讨论锥、移位和分解比较。

取同伦类不是“只看同调群”。两个链映射若同伦，必诱导相同同调映射；反过来，诱导同一同调映射的链映射未必同伦。$K(\mathcal{A})$ 位于原始链复形范畴与只剩同调数据之间，仍能辨认某些同调无法检测的扩张信息。

令

上一条目的收缩同伦给出 $1_E\simeq 0$，所以在 $K(\mathbf{Ab})$ 中

任何对象若恒等态射等于零态射，就是零对象；因此可缩复形 $E$ 在同伦范畴中同构于零复形。具体地，$E\to 0$ 与 $0\to E$ 的复合在零对象一侧严格为恒等，在 $E$ 一侧则只需同伦于恒等。

再看由非分裂短正合列组成的无同调复形

它的同调全为零，却不在 $K(\mathbf{Ab})$ 中同构于零，因为那将等价于可缩并迫使短正合列分裂。这说明同伦范畴没有把所有拟同构都变成同构；无同调对象仍可能非零。

另一个常见误解是把 $[f]=[g]$ 当成逐次相等。等号只存在于商后的 Hom 群中，表示某个同伦 $h$ 见证 $f-g=dh+hd$。若后续构造需要具体链映射，例如定义逐次核，就必须重新选择代表元，不能只拿同伦类逐次计算。

同调函子在链同伦下不变，所以唯一地经 $K(\mathcal{A})$ 因子化：

投射分解之间的比较映射在链级可能不唯一，但在同伦范畴中唯一；这把“任意选择”压缩为一个确定态射。内射分解同理。

$K(\mathcal{A})$ 还是导出范畴的起点：后者进一步把拟同构形式地变成同构。两步商除解决不同问题——先除去显式链同伦，再消去所有无同调锥。把二者混同，会错误地断言每个无同调复形都可缩。