http://www.math.uchicago.edu/~may/BOOKS/gils.pdf
C_nの作用を通してmonadの射C_n \to \Omega^nS^nを定義する。
まず、随伴Hom(X,\OmegaY) \to Hom(SX,Y)が存在する。
これを繰り返したものを\phi^n:Hom(X,\Omega^nY) \to Hom(S^n,Y)とおく。
これの逆写像で1_{S^nX}をうつしたものを\eta_n:X \to \Omega^nS^nXとする。
これにより\alpha_n:C_nX \to C_n\Omega^nS^nX \to \Omega^nS^nXが定義される。
こrがmonadの射を与える。
