トポス (数学)
(Topos から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/11 05:10 UTC 版)
数学におけるトポス(topos)とは、位相空間上の層のなす圏を一般化した概念である。アレクサンドル・グロタンディークによるヴェイユ予想解決に向けた代数幾何学の変革の中で、数論的な図形(スキーム)の上で有意義なホモトピー・コホモロジー的量が定義できる細かい「位相」を考えるために導入された。 その後数理論理学者たちによる更なる公理化を経て、集合論のモデルを与える枠組みとしても認識されるようになった。
- 1 トポス (数学)とは
- 2 トポス (数学)の概要
- 3 数理論理学との関わり
- 4 外部リンク
- Toposのページへのリンク