epsilon

落書き

The Geometry of Iterated Loop Spaces

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)となる。