トポス理論

トポスとは、集合の圏のように振る舞い、内部論理をサポートする圏であり、集合論と層の理論の両方を一般化し、数学の圏論的基礎のための設定を提供する。

Definition

初等トポスとは、有限極限、指数対象、および部分対象分類子を持つ圏である。これは高階直観主義論理を解釈するのに十分な構造を持ち、それ自身の内部数学を持つ集合の一般化された宇宙として機能する。

Scope

このトピックでは、有限極限、指数対象、および部分対象分類子によって定義される初等トポス、サイト上の層の圏としてのグロタンディーク・トポス、トポスの内部高階直観主義論理、および構造的かつ代替的な基礎を提供し、幾何学と論理を結びつける上でのトポスの役割について扱う。

Core questions

• どのような圏論的構造が、ある圏を集合の圏のように振る舞わせるのか？
• トポスはどのように内部論理を持ち、なぜそれは直観主義的なのか？
• グロタンディーク・トポスはどのように層を一般化し、幾何学を符号化するのか？
• どのような意味でトポスは数学の基礎として機能しうるのか？

Key theories

部分対象分類子と内部論理

部分対象分類子は、真理値対象への写像によって部分対象を表現し、すべてのトポスに、一般的には古典論理ではなく直観主義的な内部高階論理を与える。

グロタンディーク・トポス

サイト上の層の圏はグロタンディーク・トポスを形成し、位相空間を一般化し、代数幾何学におけるコホモロジーのためにグロタンディークが開発した圏論的枠組みを提供する。

基礎としてのトポス

選択原理を満たすwell-pointedなトポスは構造的集合論をモデル化するため、トポス理論は数学のメンバーシップに基づく基礎に対する圏論的代替を提供する。

Clinical relevance

トポス理論は幾何学と論理を統一する。グロタンディーク・トポスは現代代数幾何学とコホモロジーの基礎をなし、トポスの内部直観主義論理は構成的数学をモデル化し、型理論に意味論を提供し、初等トポスは数学の基礎の構造的説明を与える。

History

グロタンディークとその共同研究者たちは、スキームのコホモロジーをサポートするために、1960年代に層の圏としてトポスを導入した。その後、ローヴェアとティアニーは1970年代初頭に、初等的な純粋に圏論的な公理化を与え、トポスの内部論理を明らかにし、トポス理論を幾何学、論理、および数学の基礎の間の架け橋として確立した。

Key figures

• Alexander Grothendieck
• F. William Lawvere
• Myles Tierney
• Peter Johnstone

Seminal works

• maclanemoerdijk1994
• johnstone2002
• awodey2010

Frequently asked questions

なぜトポスの内部論理は直観主義的なのか？

部分対象分類子は排中律を満たす必要はない。なぜなら、一般的なトポスにおける真理値の束はブール代数ではなくハイティング代数だからである。結果として、内部で検証される論理は直観主義的であり、古典論理は特別なトポスにおいてのみ回復される。

トポスはどのように集合の圏を一般化するのか？

集合の圏は最も単純なトポスであり、一般的なトポスは、その主要な構造的特徴である有限極限、関数空間、および部分集合の分類子を保持しつつ、空間や論理理論にわたる変動を許容する。これにより、真理が局所的である層のような文脈で集合のような数学を行うことができる。