http://www.math.uchicago.edu/~may/BOOKS/gils.pdf (C,\mu,\eta)をTのモナドとすると(C_*,\mu_*,\eta_*)はSTのモナドであり、S(C[T])とC_*[ST]は一致する。 Tのモナド(C,\mu,\eta)に対し、C関手(F,\lambda)とは関手T \to Vと自然変換\lambda:FC \to Fであっ…