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の積(ホモトピーの積を定めるもの)との間で分配法則が成り立つ。
つまりf1f2 \wedge g=(f1\wedge g)(f2 \wedge g)となる。
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の積(ホモトピーの積を定めるもの)との間で分配法則が成り立つ。
つまりf1f2 \wedge g=(f1\wedge g)(f2 \wedge g)となる。