この章では、圏論の応用として、**トポス（Topos）**理論に触れます。トポスは、集合論の公理系を圏論の言葉で一般化した構造です。
1. トポスの定義
トポス は、以下の性質を持つ圏です。
- 有限完備性: 有限の極限（積、等化子など）が存在する。
- 指数対象: 任意の対象 に対して、指数対象 が存在する。
- 部分対象分類子（Subobject Classifier）: 対象 が存在し、任意の部分対象 に対して、 characteristic morphism が一意に定まる。
【部分対象分類子 の意味】
は「真偽値」の一般化です。
- 集合の圏 では、 です。
- トポスでは、 はより複雑な構造を持つことがあります。
2. 内部論理（Internal Logic）
トポス内部では、通常のブール論理ではなく、**直観主義論理（Intuitionistic Logic）**が成り立ちます。
- 排中律（Law of Excluded Middle）: は一般に成り立ちません。
- デ・モルガンの法則: 一部が成り立ちません。
【数学英語における表現】
- “The internal logic of a topos is intuitionistic.”
- “The law of excluded middle does not hold in general.”
3. 集合論との比較
| 概念 | 集合論 (ZFC) | トポス理論 |
|---|---|---|
| 真理値 | ||
| 論理 | ブール論理 | 直観主義論理 |
| 存在 | 要素の存在 | 射の存在 |
| 等価性 | 等号 | 同型 |