epsilon

落書き

The Geometry of Iterated Loop Spaces

http://www.math.uchicago.edu/~may/BOOKS/gils.pdf

 

operadの例としてA_\inftyとE_\inftyを見る。

 

まずdiscrete operad MとNを定義する。

M-spaceはtopological monoidであり、N-spaceはcomm top monoidであるようなもの。

 

M(j)=\Sigma_jで\gammaを文字を順番に繋げた置換を最初の成分で並び替えて得られる作用とする。

 

N(j)を一点{f_j}とし、\Sigmaを自明に作用させる。