圏\Sigmaを対象が非負整数nに対する集合\{1,2,\ldots,n\}全体で、射が\Sigma(n,n)は対称群\Sigma_nでn \neq mに対しては空集合とする。 symmetric sequenceとは関手\Sigma \to S_*のこと。 つまり各nごとにsimplicial pointed set X_nとそこへの\Sigma_n作用…