topos

デジタル大辞泉

トポス【(ギリシャ)topos】

読み方：とぽす

場所。また、文学・芸術などにおける主題。

ウィキペディア

トポス (数学)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/08/11 05:10 UTC 版)

数学におけるトポス（topos）とは、位相空間上の層のなす圏を一般化した概念である。アレクサンドル・グロタンディークによるヴェイユ予想解決に向けた代数幾何学の変革の中で、数論的な図形（スキーム）の上で有意義なホモトピー・コホモロジー的量が定義できる細かい「位相」を考えるために導入された。 その後数理論理学者たちによる更なる公理化を経て、集合論のモデルを与える枠組みとしても認識されるようになった。