Revisiting colimits in $\mathbf{Cat}$ and homotopy category

本文通过建立同伦范畴函子与加权余极限存在性之间的等价关系，并显式构造这些加权余极限，为 $\mathbf{Cat}$ 中（余）极限的存在性提供了一种系统化的基础论证，进而证明了 $\mathbf{Cat}$ 的完备性并重构了其中余等化子和局部化的构造。

要点

这篇文章就像是在探索**“如何把一堆散乱的积木（范畴）完美地拼成一个新的大城堡”**的数学指南。

作者 Varinderjit Mann 想要解决一个困扰数学界很久的问题：当我们把很多小类别（Category，可以想象成小世界或规则集）强行拼在一起时，怎么保证拼出来的新东西依然是一个完美的、有规则的“大类别”？

为了让你轻松理解，我们用**“乐高积木”和“折纸”**来打比方。

1. 核心难题：拼积木的“死循环”

在数学里，有一个叫 Cat 的大世界，里面装着所有的小世界（小类别）。数学家们早就知道，把很多小世界拼在一起（取“余极限”），理论上是可以拼出一个新世界的。

但是，以前的证明方法就像是在说：“因为我们有魔法（假设 Cat 是完美的），所以我们可以拼积木。”
这就陷入了一个死循环：

• 为了证明能拼积木，我们需要先假设 Cat 是完美的。
• 为了证明 Cat 是完美的，我们需要先证明能拼积木。
• 以前的方法要么太复杂（像用显微镜看蚂蚁搬家），要么太依赖高深的理论，不够直观。

2. 作者的妙招：引入“折纸大师”（单纯集）

作者发现，与其直接在“积木世界”（Cat）里死磕，不如先跳到隔壁的“折纸世界”（sSet，单纯集）。

• Cat（积木世界）：规则复杂，有方向，有逻辑，拼起来很难。
• sSet（折纸世界）：规则简单，就像一堆纸片，怎么拼都容易算清楚。

作者发现，这两个世界之间有一个**“翻译官”**：

• 神经（Nerve, $N$）：把积木世界里的结构，翻译成折纸世界的形状。
• ** realization（ realization, $h$）**：把折纸世界的形状，还原回积木世界。

关键突破点：
以前大家觉得“翻译官”的存在是理所当然的，但这其实需要证明。作者说：“别急着假设翻译官存在，我们先证明在折纸世界里，有一种特殊的‘折叠方式’（加权余极限）是可行的。只要这种折叠方式可行，翻译官就自动存在了！”

3. 具体操作：从“骨架”开始拼

作者没有试图一次性拼出整个复杂的形状，而是用了一个聪明的**“分层构建法”**：

1. 只看骨架（2-骨架）：
   想象你要拼一个复杂的乐高城堡。你不需要一开始就拼好所有细节。

   • 0 维：只有点（积木块）。
   • 1 维：点连成线（积木棒）。
   • 2 维：线围成面（积木板）。

   作者发现，只要你能拼好**“面”（2 维）**这一层，剩下的更复杂的“立体”部分（3 维、4 维...）其实都是自动生成的，不需要额外操心。这就像折纸，只要折好了核心的三角形结构，剩下的部分顺着折痕就能出来。

2. 具体的拼法（余等子）：
   当两个积木块（比如两个箭头）指向同一个地方时，怎么把它们“合并”？

   • 以前的方法：列出一堆复杂的公式，让人头昏脑涨。
   • 作者的方法：就像在折纸上画线。只要把代表“冲突”的线（2 维的三角形）贴上去，强制规定“走这条路等于走那条路”，新的规则就自然形成了。

4. 最终成果：完美的“翻译”与“重建”

通过这种方法，作者证明了：

1. 翻译官（$h$）是真实存在的：我们可以把任何折纸形状（单纯集）完美地变回积木世界（范畴）。
2. Cat 是完美的：既然能变回来，说明 Cat 这个大世界足够坚固，可以容纳任何拼法（即它是“余完备”的）。
3. 新公式：作者给出了一个清晰的“食谱”，告诉数学家们如何一步步计算这些复杂的拼接，而不需要再依赖那些晦涩难懂的“魔法”。

5. 生活中的类比总结

想象你在玩一个**“无限拼接游戏”**：

• 旧方法：告诉你“因为游戏引擎是完美的，所以你可以随便拼”。但这没告诉你引擎是怎么写的。
• 作者的方法：
  1. 先在游戏里找一个最简单的**“模板”**（折纸世界）。
  2. 证明在这个模板里，只要把**“核心骨架”**（2 维结构）拼好，整个模型就能自动成型。
  3. 然后把这个模板**“投影”**回游戏世界。
  4. 结果发现，游戏世界里的所有复杂拼接，其实都可以通过这个简单的“骨架投影”来完美实现。

这篇文章的意义

它把一件原本看起来**“深奥、复杂、甚至有点循环论证”的数学大事，变成了一套“清晰、直观、可操作”**的积木搭建指南。它告诉我们：有时候，解决最复杂的问题，不需要更复杂的工具，而是需要换一个更简单的视角（从折纸看积木），并专注于最核心的骨架（2 维结构）。

简而言之：作者找到了一把万能钥匙，证明了“范畴”这个巨大的乐高盒子里，无论怎么拼，都能拼出一个完美的新世界，而且他还教了我们具体的拼法。

技术摘要

这是一份关于 Varinderjit Mann 撰写的论文《Revisiting colimits in Cat and homotopy category》（重访 Cat 中的余极限与同伦范畴）的详细技术总结。

1. 研究背景与问题 (Problem)

• 核心问题：范畴论中，小范畴的范畴 $\mathbf{Cat}$ 的余完备性（cocompleteness，即所有余极限的存在性）是一个已知结果。然而，现有的证明方法存在局限性：
  1. 基于 $V$-enriched 范畴的一般性证明（如 [2, 11]）虽然有效，但过于抽象，未能利用 $\mathbf{Set}$ 范畴特有的丰富结构，导致在 $\mathbf{Cat}$ 的具体情形下效率不高。
  2. 基于广义同余（generalized congruences）和等化子（coequalizers）的显式构造（如 [1, 3]）虽然直观，但构造过程极其复杂且繁琐。
• 逻辑循环困境：文献中常将 $\mathbf{Cat}$ 到单纯集范畴 $\mathbf{sSet}$ 的神经函子（Nerve functor, $N$）视为具有左伴随（即反射嵌入）。然而，$N$ 具有左伴随（即同伦范畴函子 $h$ 的存在）通常依赖于 $\mathbf{Cat}$ 的余完备性。因此，若假设 $N$ 是反射嵌入来证明 $\mathbf{Cat}$ 的余完备性，会导致循环论证。
• 目标：作者旨在提供一种直接、自洽且初等的证明方法，阐明 $\mathbf{Cat}$ 的余完备性，避免循环论证，并显式地构造出所需的余极限（特别是等化子和局部化）。

2. 方法论 (Methodology)

作者采用了一种基于加权余极限（Weighted Colimits）和单纯集（Simplicial Sets）性质的策略，核心思想是将 $\mathbf{Cat}$ 的余完备性问题转化为 $\mathbf{sSet}$ 中特定加权余极限的存在性问题。

• 加权余极限与 Kan 延拓：
  • 利用加权余极限的语言描述点态左 Kan 延拓。
  • 证明 $\mathbf{Cat}$ 的余完备性等价于：对于任意单纯集 $X \in \mathbf{sSet}$，加权余极限 $X \star [-]$ 的存在性（其中 $[-]: \Delta \hookrightarrow \mathbf{Cat}$ 是标准包含函子）。
• 2-骨架过滤与简化：
  • 利用单纯集的2-骨架（2-skeleton）性质。作者证明了 $X \star [-]$ 的存在性等价于其 2-骨架 $sk_2 X \star [-]$ 的存在性。
  • 这意味着只需处理维数 $\le 2$ 的单纯集（即点、边和三角形），从而将问题简化为构造自由范畴和商范畴。
• 显式构造：
  • 通过单纯集的骨架过滤（skeletal filtration），将任意 $X$ 的加权余极限分解为 coproducts（余积）和 pushouts（推出）的组合。
  • 具体构造了 $sk_1 X \star [-]$（自由范畴）和 $sk_2 X \star [-]$（通过 2-单形引入关系的范畴，即同伦范畴）。
• 避免循环论证：
  • 不预先假设 $\mathbf{Cat}$ 的余完备性，而是通过构造具体的加权余极限来证明 $h \dashv N$ 伴随对的存在，进而推导出 $\mathbf{Cat}$ 的余完备性。

3. 主要贡献与结果 (Key Contributions & Results)

A. 理论等价性与存在性定理

• 命题：$\mathbf{Cat}$ 是余完备的，当且仅当对于所有 $X \in \mathbf{sSet}$，加权余极限 $X \star [-]$ 存在。
• 定理：对于所有 $X \in \mathbf{sSet}$，加权余极限 $X \star [-]$ 确实存在。
  • 证明过程利用了 $sk_2 X$ 的过滤结构，将问题归结为构造自由范畴（由 1-骨架生成）和通过 2-单形施加关系的商范畴。
• 伴随对：证明了左伴随函子 $h: \mathbf{sSet} \to \mathbf{Cat}$（同伦范畴函子）的存在性，且 $h \dashv N$。
  • $h(X)$ 的具体构造：先取 $X$ 的 1-骨架生成自由范畴，再根据 $X$ 的 2-单形（三角形）施加等价关系（即若存在 $f, g, h$ 构成 2-单形边界，则 $g \circ f \sim h$）。

B. 完备性与余完备性

• 定理：$\mathbf{Cat}$ 既是完备的（complete）也是余完备的（cocomplete）。
• 公式：利用反射嵌入 $N$ 和左伴随 $h$，给出了 $\mathbf{Cat}$ 中任意极限和余极限的计算公式：
  • $\text{colim } F \cong h(\text{colim } N \circ F)$
  • $\text{lim } F \cong h(\text{lim } N \circ F)$
  • 这表明 $\mathbf{Cat}$ 中的极限/余极限可以通过在 $\mathbf{sSet}$ 中计算（$\mathbf{sSet}$ 是余完备且完备的），然后应用 $h$ 得到。

C. 具体构造：等化子与局部化

• 等化子（Coequalizers）：
  • 给出了 $\mathbf{Cat}$ 中等化子的显式描述。
  • 构造步骤：先在 $\mathbf{sSet}$ 中计算 $N F$ 和 $N G$ 的等化子（逐点计算集合的等化子），得到 1-骨架；然后生成自由范畴；最后根据 2-单形施加关系。
  • 这种方法避免了传统构造中复杂的同余类分类，更加直观。
• 局部化（Localizations）：
  • 定义了总局部化（Total Localization）$L(C)$：将 $\mathbf{Cat}$ 中所有态射变为同构。
  • 定义了相对局部化（Relative Localization）$L(C, U_C)$：仅将标记的态射子集 $U_C$ 变为同构。
  • 利用 $N$ 和 $h$ 的伴随性质，将局部化构造转化为 $\mathbf{sSet}$ 中的推出（pushout）构造，并给出了具体的“之字形”（zig-zag）路径表示法。

D. 衍生伴随对

• 从 $h \dashv N$ 导出了其他重要的伴随对，例如：
  • $\mathbf{Cat}$ 与 $\mathbf{Set}$ 之间的四重伴随（涉及离散范畴、不可分范畴、对象集、连通分支）。
  • $\mathbf{Cat}$ 与有向图（或自反图）之间的自由范畴伴随。

4. 意义与影响 (Significance)

1. 逻辑自洽性：填补了文献中的一个空白，提供了 $\mathbf{Cat}$ 余完备性的直接证明，消除了关于神经函子 $N$ 反射性证明中潜在的循环论证问题。
2. 计算可行性：将抽象的加权余极限转化为具体的、可计算的构造（自由范畴 + 关系商），使得 $\mathbf{Cat}$ 中余极限（特别是等化子和局部化）的计算更加清晰和易于理解。
3. 方法论创新：展示了如何利用 $\mathbf{Set}$ 的额外结构（如单纯集理论）来简化范畴论中的构造，而非依赖通用的 $V$-enriched 范畴理论。
4. 统一视角：通过 $h \dashv N$ 伴随对，统一了 $\mathbf{Cat}$ 和 $\mathbf{sSet}$ 的极限/余极限理论，为研究范畴的代数性质提供了强有力的工具。
5. 局限性说明：作者指出该方法依赖于 $\Delta \hookrightarrow \mathbf{Cat}$ 的特殊结构，因此不能直接推广到一般的 $V$-enriched 范畴（因为 $V$-Cat 缺乏类似的典范单纯范畴）。

总结

该论文通过引入加权余极限和单纯集骨架过滤技术，成功构建了一个自洽且初等的框架，证明了 $\mathbf{Cat}$ 的余完备性，并显式地描述了等化子和局部化等关键构造。这不仅解决了理论上的逻辑循环问题，也为实际计算范畴中的极限和余极限提供了更优的路径。