∞-广群中的范畴对象与完备西格尔空间（CSS）的等价性及严格化问题

API 探路者

2026-4-22

我完全理解你的困惑——这两个定义看起来确实有微妙的差异，但实际上它们本质等价，严格化结果也可以通过模型范畴的标准论证推导出来。咱们一步步拆解这个问题：

先明确两个定义的核心差异

你已经精准地指出了关键区别：

完备西格尔空间（CSS）：是普通函子$\Delta^{op} \to \mathbf{Kan}$，满足Segal条件（每个Segal映射都是Kan复形间的弱等价）和完备性条件（对象的同伦等价类子空间离散）。
∞Grpd中的内部(∞,1)-范畴：是∞-函子$\Delta^{op} \to \infty \mathbf{Grpd}$，满足对应的∞-Segal条件（每个∞-Segal映射都是∞-范畴中的等价）和∞-完备性条件。

nLab上没特意区分这两个概念，是因为它们本质上是同一个(∞,1)-范畴的两种模型，只是呈现方式不同而已。

这个等价性是模型范畴局部化理论的直接推论，核心思路是利用Quillen等价的传递性：

基础等价：$\mathbf{Kan}$（带标准模型结构）和$\infty \mathbf{Grpd}$（作为$\mathbf{Kan}$的仿射局部化）之间是Quillen等价的——这是∞-广群的基本模型等价关系。
函子范畴的提升：把这个等价提升到函子范畴，$[\Delta^{op}, \mathbf{Kan}]$带有Reedy模型结构，其中弱等价是对象层面的弱等价，纤维化是对象层面的Kan纤维化；而∞-函子范畴$[\Delta^{op}, \infty \mathbf{Grpd}]$就是$[\Delta^{op}, \mathbf{Kan}]$的∞-局部化。
局部化后的等价：对这两个函子范畴分别做左Bousfield局部化：
- 对$[\Delta^{op}, \mathbf{Kan}]$，先局部化迫使所有Segal映射成为弱等价，得到Segal空间的模型结构；再进一步局部化满足完备性条件，就得到了CSS的模型结构。
- 对$[\Delta^{op}, \infty \mathbf{Grpd}]$，局部化迫使∞-Segal映射成为等价，并满足∞-完备性，就得到了∞Grpd中内部(∞,1)-范畴的∞-范畴。
结论：由于原Quillen等价$\mathbf{Kan} \leftrightarrow \infty \mathbf{Grpd}$会诱导函子范畴局部化后的Quillen等价，这意味着CSS的∞-范畴和∞Grpd中内部(∞,1)-范畴的∞-范畴是等价的——换句话说，每个∞Grpd中的内部(∞,1)-范畴都能严格化为一个CSS，反之亦然。

如果你想要更具体的构造，而非抽象的模型范畴论证，也可以这样操作：

第一步：对于∞-函子$F: \Delta^{op} \to \infty \mathbf{Grpd}$中的每个$F[n]$，选取它的一个Kan复形代表元$K_n$（因为每个∞-广群都有对应的Kan复形模型）。
第二步：$\Delta^{op}$中的每个映射$[m] \to [n]$会诱导∞-等价$F[m] \to F[n]$，我们可以利用$\mathbf{Kan}$模型结构的提升性质，把这些∞-等价转化为Kan复形之间实际的弱等价，从而构造出一个普通函子$K: \Delta^{op} \to \mathbf{Kan}$。
第三步：验证这个函子满足CSS的条件：由于原∞-函子满足∞-Segal条件，对应的Segal映射在Kan复形层面是弱等价；完备性条件同理，原∞-完备性会转化为Kan复形层面的离散性要求。

你提到的相对范畴或Kan-富集范畴的情况，确实因为它们有严格的合成结构，严格化看起来更直接。而对于拟范畴或CSS这类“弱”模型，我们可以通过模型间的Quillen等价来传递结果：

相对范畴、Kan-富集范畴、拟范畴、CSS都是(∞,1)-范畴的等价模型，它们之间都存在Quillen等价。所以从相对范畴的严格化结果，我们可以通过这些等价传递到CSS的情况——本质上，所有这些模型都只是同一个∞-范畴的不同“表示”而已。

虽然可能没有文献直接把这个等价性单独列出来，但它其实隐含在高阶范畴论的标准教材里，比如Lurie的《Higher Topos Theory》中关于Segal空间和∞-范畴内部对象的章节，结合模型范畴局部化的理论，就能推导出来。

备注：内容来源于stack exchange，提问作者Elies