symm. spectrumの圏Sp^\SigmaにはHomにssetの構造を入れることができる。 さらにptd ssetの圏S_*のmonoidal圏としての作用が定まる。 まずE, Fがsym. spec.の時、Hom(E,F)_n = Sp^\Sigma(E\wedge \Delta[n]_+, F)とすることでsimplicial setの構造が定まる。…