HSS 2 - epsilon の続き。 symmetric spectraの圏Sp^\SigmaがS_*-enriched categoryであることは上に書いたが、さらにtensoredであることを見る。 改めてS_*-enriched categoryの定め方を書くと、x, y \in Sp^\Sigmaに対してMap(x,y) \in S_*を Map(x,y)(n)=…