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

この論文は、$\mathbf{Cat}$ における (余) 極限の存在を、ホモトピー圏関手と特定の重み付き余極限の等価性、および単体集合と神経関数の性質を用いた明示的な構成を通じて正当化し、$\mathbf{Cat}$ の (余) 完全性を示すとともに、$\mathbf{Cat}$ における等化子や局所化の構成を再定式化するものである。

要約

この論文は、数学の「圏論（Category Theory）」という非常に難解な分野における、ある大きな疑問を解決する物語です。

一言で言うと、**「複雑な箱（圏）たちを、より簡単な形（シンプリシャル集合）に変換して整理し、再び箱に戻すことで、新しい箱をどうやって作ればよいかを証明した」**という話です。

専門用語を捨て、日常の比喩を使って解説しましょう。

---

1. 物語の舞台：「箱」の世界（圏 Cat）と「設計図」の世界（シンプリシャル集合 sSet）

まず、この世界には**「箱（Category）」**がたくさんあります。

• 箱（Cat）: 物事や概念、そしてそれらを繋ぐルール（矢印）が入った箱です。例えば、「電車路線図」も箱の一つ、「会社の組織図」も箱の一つです。
• 設計図（sSet）: 箱を構成する要素（点や線、三角形など）を、ただの「点と線の集まり」として描いた、より単純な設計図です。

問題：
数学者たちは、「箱（Cat）」の世界には、どんな複雑な箱たちをくっつけたり、切り取ったりして**「新しい箱」を作るルール（極限・余極限）が備わっているはずだと知っていました。しかし、そのルールを「具体的にどうやって箱を作るか」**という手順を、シンプルで分かりやすく説明した本が、これまで誰も書いていなかったのです。

既存の説明は、あまりに難解で「魔法のような手順」ばかりで、なぜそうなるのか直感的に理解できませんでした。

2. 主人公のアイデア：「翻訳機」を使う

著者の Varinderjit Mann さんは、こんな素晴らしいアイデアを思いつきました。

「箱（Cat）で直接、複雑な計算をするのは大変だ。まずは**『設計図（sSet）』という、計算が簡単な世界に『翻訳』**してしまい、そこで計算をしてから、また箱に戻せばいいのではないか？」

この翻訳には 2 つの重要な役割があります。

1. 翻訳機（Nerve 関手）: 箱を設計図に変える。
   • 箱の中身（矢印やルール）を、点と線の集まりとして書き起こします。
2. 復元機（Realization 関手）: 設計図を箱に戻す。
   • 設計図を見て、「あ、これは箱にすればいいんだ」と解釈して、新しい箱を形作ります。

論文の核心：
「もし、この**『復元機』が常に正しく機能する（つまり、どんな設計図からも箱が作れる）なら、箱の世界は完璧に整理されている（完備かつ余完備）ことになる！」**

著者は、「復元機が機能するためには、特定の種類の『設計図の組み合わせ』さえ作れれば良い」ということを発見しました。

3. 具体的な手順：「骨組み」から「肉付け」まで

では、どうやって設計図から箱を作ったのでしょうか？ ここが論文の最も面白い部分です。

著者は、設計図を**「2 次元までの骨組み」**に分解して考えました。

1. 0 次元（点）: 箱の「部品（オブジェクト）」だけを集める。
   • 例：駅の名前だけを書いたリスト。
2. 1 次元（線）: 部品をつなぐ「矢印」を集める。
   • 例：駅と駅を繋ぐ線路。
   • ここで、**「自由な箱（Free Category）」**を作ります。ルールは「線路がつながっていれば、そのまま繋げる」というだけ。まだ「A→B→C は D と同じ」というような複雑なルールはありません。
3. 2 次元（三角形）: ここで**「ルール（関係性）」**を追加します。
   • 設計図に「三角形（2 次元の面）」があれば、それは「この 3 つの矢印は、このように繋がっている（＝同じ意味）」というルールを表します。
   • 著者は、この三角形のルールを使って、先ほどの「自由な箱」を**「貼り付け（コイコライザー）」**して、正しい箱に仕上げました。

比喩で言うと：

• 自由な箱: Lego のブロックをただひたすら積み上げた状態。つながっているけど、ルールは自由。
• 2 次元の三角形: 「この 3 つのブロックは、実は 1 つの大きなブロックと同じだ」という**「接着剤」**。
• 最終的な箱: 接着剤で固められた、完成された Lego 作品。

この「点→線→三角形」という 3 ステップの工程さえ理解できれば、どんな複雑な箱も作れることが証明されました。

4. なぜこれが重要なのか？

• 円環論理の回避: 以前は「箱が作れるから翻訳機は使える」と言われていましたが、それでは「箱が作れる理由」が説明できていませんでした（鶏が先か、卵が先か）。この論文は、「翻訳機（復元機）の仕組みそのもの」から「箱が作れること」を証明し、この循環を断ち切りました。
• 直感的な理解: 複雑な数式ではなく、「設計図を骨組みから組み立てる」という直感的なプロセスで、箱の作り方を説明しました。
• 新しい道具: この方法を使えば、箱を「等しくする（コイコライザー）」や「特定のルールを無視して自由にする（局所化）」といった操作も、設計図の操作としてシンプルに記述できるようになりました。

まとめ

この論文は、**「数学の複雑な箱（Cat）の世界を、シンプルで扱いやすい設計図（sSet）の世界に一旦変換し、設計図の『骨組み（2 次元まで）』を組み立てることで、新しい箱を確実に作れることを証明した」**という、非常にエレガントで実用的な解決策を提示したものです。

まるで、**「複雑な建物の設計図を、まずは『点と線』のスケッチに落とし込み、そこから『壁（三角形）』を貼り付けていくことで、どんな建物も安全に建てられることを証明した」**ようなものです。

これにより、数学者たちは、箱の世界での計算や操作を、もっと直感的で確実な方法で行えるようになりました。

技術概要

論文「Revisiting colimits in Cat and homotopy category」の技術的サマリー

著者: Varinderjit Mann
日付: 2026 年 3 月 10 日
分野: 圏論 (Category Theory)、ホモトピー理論

1. 問題提起 (Motivation)

小圏の圏 $\mathbf{Cat}$ が余完備（cocomplete）であることは既知の結果ですが、その既存の証明には以下の問題点や課題がありました。

1. 既存証明の複雑さ: 従来の証明（[2], [11] など）は、$\mathbf{V}$-enriched 圏の一般論に基づいており、$\mathbf{Set}$ 上の圏という特殊な構造を十分に活用していないため、非効率的です。また、[1] や [3] における等化子（coequalizer）の明示的構成は、一般化された合同関係（generalized congruences）を用いるものであり、本質的には直感的ですが、構成自体が非常に複雑で煩雑です。
2. 循環論法のリスク: $\mathbf{Cat}$ から単体集合の圏 $\mathbf{sSet}$ への埋め込み（神経関手 $N: \mathbf{Cat} \to \mathbf{sSet}$）が反射的（reflective）であることはよく知られていますが、この反射性の証明は通常、$\mathbf{Cat}$ の余完備性を前提としています。したがって、反射性を仮定して $\mathbf{Cat}$ の完備性・余完備性を導く論法は循環論法になりかねません。
3. 文献の欠如: 循環論法を避けた、直接的かつ自己完結的な「反射的埋め込みの存在証明」が文献に見当たらないという問題があります。

本論文は、これらの課題に対し、$\mathbf{Cat}$ の余完備性をより単純な条件に還元し、循環論法なしに $\mathbf{Cat}$ の完備性・余完備性を確立する新しい elementary なアプローチを提示することを目的としています。

2. 手法と主要な構成 (Methodology)

本論文の核心は、$\mathbf{Cat}$ の余完備性を、$\mathbf{sSet}$ における特定の**加重コリミット（weighted colimits）**の存在に帰着させることにあります。

2.1 加重コリミットと左随伴の存在

$\mathbf{Cat}$ の余完備性は、単体集合 $X \in \mathbf{sSet}$ に対する加重コリミット $X \star [-]$ の存在と等価であることが示されます。ここで、$[-]: \mathbf{\Delta} \hookrightarrow \mathbf{Cat}$ は単体カテゴリの包含関数です。

• ホモトピー圏関手 $h$: 左随伴 $h \dashv N$ の存在は、$h(X) \cong X \star [-]$ として定義される加重コリミットの存在と等価です。
• 2-骨格の活用: 任意の単体集合 $X$ について、$X \star [-]$ の存在は、その 2-骨格 $\mathrm{sk}_2 X$ に対する加重コリミット $\mathrm{sk}_2 X \star [-]$ の存在に帰着されます（$\mathbf{Cat}$ の構造は 2 次元的であるため）。

2.2 明示的構成 (Explicit Construction)

$\mathrm{sk}_2 X \star [-]$ の存在を証明するために、単体集合の 2-骨格フィルトレーションを利用し、以下の手順でコリミットを明示的に構成します。

1. 0-骨格と 1-骨格:
   • $\mathrm{sk}_0 X \star [-]$ は集合 $X_0$ 上の離散圏です。
   • $\mathrm{sk}_1 X \star [-]$ は、$X_0$ を対象とし、$X_1$ の非退化 1-単体を生成元とする自由圏（free category）として構成されます（Lemma 4.1.3）。
2. 2-骨格と等化:
   • $\mathrm{sk}_2 X \star [-]$ は、上記の自由圏に対して、$X_2$ の非退化 2-単体が示す関係（$g \circ f \sim h$）を課した商圏として構成されます（Lemma 4.1.4）。
   • この構成は、単体集合の 2-単体が「三角形の可換性」を記述することに対応しており、圏の結合律や恒等律を満たすように設計されています。

2.3 反射的埋め込みの確立

上記の構成により、左随伴 $h: \mathbf{sSet} \to \mathbf{Cat}$ の存在が証明され、$h \dashv N$ となります。$N$ が完全忠実（fully faithful）であることは既知（または容易に示せる）であるため、$N$ は反射的埋め込みとなります。これにより、$\mathbf{Cat}$ の完備性と余完備性が導かれます。

3. 主要な結果 (Key Results)

1. $\mathbf{Cat}$ の完備性と余完備性の証明:

   • 定理 4.1.5: 任意の $X \in \mathbf{sSet}$ に対して加重コリミット $X \star [-]$ が存在し、$X \star [-] \cong h(X)$ となる。
   • 定理 4.1.7: $\mathbf{Cat}$ は完備かつ余完備である。さらに、任意の図式 $F: J \to \mathbf{Cat}$ に対して、
     $$\mathrm{colim} F \cong h(\mathrm{colim} (N \circ F))$$
     が成り立つ。これにより、$\mathbf{Cat}$ における極限・余極限は、$\mathbf{sSet}$ における極限・余極限を計算し、$h$ を適用することで得られる。

2. 等化子（Coequalizers）の明示的記述:

   • 従来の複雑な合同関係の構成に代わり、神経関手を用いたアプローチにより、$\mathbf{Cat}$ における等化子を簡潔に記述した（Lemma 5.2.4）。
   • 対象は対象集合の等化子、射は自由圏の射集合を、2-単体から導かれる関係で商したものとして定義される。

3. 局所化（Localization）の再定式化:

   • 圏 $C$ の全局所化（すべての射を可逆にする）や、特定の射のクラスを可逆にする相対局所化を、$\mathbf{sSet}$ におけるプッシュアウトと $h$ を用いて再構成した（Lemma 5.3.2, 5.3.8）。
   • これにより、局所化が「可逆射の添加」として直感的に理解できる構造（ジグザグ経路）として得られる。

4. 他の随伴関係の導出:

   • $h \dashv N$ と $\mathbf{sSet}$ における骨格・コスケルトン随伴を合成することで、$\mathbf{Cat}$ と $\mathbf{Set}$ の間の 4 つの随伴（離散圏、非可分圏、対象関手、成分関手など）を導出した（Lemma 5.1.2）。

4. 意義と貢献 (Significance)

• 循環論法の回避: $\mathbf{Cat}$ の余完備性を仮定せずに、$\mathbf{sSet}$ の性質と加重コリミットの明示的構成から、$\mathbf{Cat}$ の完備性・余完備性を導出する自己完結的な証明を提供しました。
• 計算可能性と直観性: 従来の等化子や合同関係の複雑な構成を避け、単体集合の 2-骨格フィルトレーションと自由圏・商圏の構成を用いることで、$\mathbf{Cat}$ の極限・余極限の構成をより直感的で計算可能な形にしました。
• 一般化の限界と $\mathbf{Set}$ の特殊性: このアプローチは $\mathbf{Set}$ の追加構造（単体カテゴリ $\mathbf{\Delta}$ の存在など）に依存しており、任意の $\mathbf{V}$-enriched 圏には直接一般化できないことを指摘しています。これは、$\mathbf{Cat}$ の構造が $\mathbf{Set}$ に特化したものであることを浮き彫りにしています。
• 応用: 局所化や等化子の具体的な記述は、ホモトピー圏や高次圏の理論における計算や理解を深めるための基礎的な道具として有用です。

総じて、本論文は $\mathbf{Cat}$ の圏論的性質を、$\mathbf{sSet}$ との関係性を通じて再解釈し、よりエレガントで基礎的なレベルから再構築した重要な貢献と言えます。