http://www.math.uchicago.edu/~may/BOOKS/gils.pdf \Omega^nX=\Hom_T(S^n,X)とみなす。 スマッシュ積により\Omega^mX \times \Omega^nY \to \Omega^{m+n}(X \wedge Y)が定まる。 loopの積（ホモトピーの積を定めるもの）との間で分配法則が成り立つ。 つま…