∞-トポス
ホモトピー仮説
∞-亜群
単体的集合
Kan複体
↑ Lurie 2009, Definition 6.1.0.4.
↑ Lurie 2009, Theorem 6.1.0.6.
スペクトル代数幾何学-チャールズ・レズク