spectrumの定義を見る。 k>-2に対し[k]を全順序集合\{0,\ldots,k\}とする。[-1]=\emptysetである。 これら全体を対象とし、射は順序射にもつ圏を\Deltaとかき、\Delta上の前層をsimplicial setという。つまり関手\Delta^{op} \to Setのことを前層という。 \D…