homotopy equivalence

《基础拓扑学讲义》 · 第 124 页

称 $f$ 和 $g$ 为同伦等价（映射）。

由 admin 提交

《Algebraic Topology》 · 第 3 页 · Chapter 0

A map \(f:X\to Y\) is a homotopy equivalence if there is a map \(g:Y\to X\) such that \(fg\simeq\operatorname{id}_Y\) and \(gf\simeq\operatorname{id}_X\).