symmetric spectraの圏Sp^\Sigmaのsimplicial structureについて。 symmetric spectra X, Yに対して、pointed simplicial set Map(X,Y)を定義できる。 つまりMap(X,Y)はS_*の対象。 これはn \mapsto Sp^\Sigma(x \wedge \Delta[n]_+, y)とすればよい。 これ…