トポス(数学)

トポス(topos)

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