導来代数幾何学
X ≅ Shv ( X t o p ) {\displaystyle {\mathfrak {X}}\cong {\text{Shv}}(X_{top})} はいくつかの位相空間と同等の ∞ {\displaystyle \infty } -トポス
被覆が存在する必要がある U i {\displaystyle U_{i}} のスペクトル環 X t o p {\displaystyle X_{top}} に誘導されるトポス ( X U i , O X U i ) {\displaystyle ({\mathfrak {X}}_{U_{i}},{\mathcal {O}}_{{\mathfrak {X}}_{U_{i}}})} と同等
さらに、スペクトルスキーム X {\displaystyle X} は非接続と呼ばれ、 π i ( O X ) = 0 {\displaystyle \pi _{i}({\mathcal {O}}_{\mathfrak {X}})=0} ( i < 0 {\displaystyle i<0} )となる。