Wiki. “带弱等价的范畴” [带弱等价的范畴]

带弱等价的范畴是指一个范畴 $\mathcal C$ 带有一族指定的态射 $W$, 其中包含 $\mathcal C$ 中所有的同构, 满足某些封闭性质 (如三选二性质, $f,g,gf$ 中任意两者属于 $W$ 则第三者属于 $W$).

带弱等价的范畴是 无穷范畴的一种表现方式, 一般而言可通过某种范畴的局部化变为 ∞-范畴. 一个具体的模型是 Dwyer–Kan 单纯局部化, 它将一个带弱等价的范畴变为单纯充实范畴, 即 无穷范畴的一个模型.