Wiki. 同伦假设 [同伦假设]

陈述

存在 $(\infty,1)$-范畴的等价 $$ \Pi\colon \mathsf {Top} \to \mathsf{Ani}, $$ 其中 $\mathsf {Top}$ 是拓扑空间的模型范畴, $\Pi X$ 为拓扑空间 $X$ 表现的生象, 也是 $X$ 的奇异单纯集 $\operatorname{Sing}X$ 表现的生象.