http://www.math.uchicago.edu/~may/BOOKS/gils.pdf little cube operad C_nがloop spaceに作用することを見る。 L_nを以下で定めるn-fold loop seqの圏とする。 - 対象は{Y_i}nの列でY_i = \OmeraY_{i+1}なるもの - 射はY_iの間の射で\Omegaと整合的なもの…