∞-トポス
数学において、 ∞-トポス(英語: ∞-topos)は大まかに言って∞-圏であり、その対象はグロタンディーク位相を選択して空間の層のように動作する。言い換えれば、それは外部空間を参照せずに層の本質的な概念を与える。 ∞トポスの典型的な例は、いくつかの位相空間上の空間の層の∞圏である。しかし、この概念はより柔軟である。たとえば、あるスキームのエタール層の∞圏は、位相空間の層の∞圏ではありませんが、それでも∞トポスである。
正確には、ルリーの高次トポス理論では、∞-トポスは∞-圏Xとして定義され 、小さな∞-圏Cと、 C上の空間の前層の∞-圏からの左完全関手がXに存在する。 Lurie定理は、通常のトポス理論におけるジラードの公理の∞圏バージョンを満たす場合にのみ、∞圏が∞トポスであると述べている。 「トポス」は、位相空間上の集合の束の圏のように動作する圏である。類推して、∞-トポスのルリーの定義と特性化の定理は、∞-トポスは空間の束の圏のように振る舞う∞-カテゴリーであるとする。