2018-07-20から1日間の記事一覧
http://www.math.uchicago.edu/~may/BOOKS/gils.pdf 圏Tのmonad (C, \mu, \eta)とは関手C:T \to T, 自然変換\mu:C^2 \to C, \eta:1 \to Cであって、\mu(X)C\eta(X)=\mu(X)\eta(CX)=\id_(CX)と\mu(X)\mu(CX)=\mu(X)C\mu(X)を満たすもの。 monad C上のalgebra(…
http://www.math.uchicago.edu/~may/BOOKS/gils.pdf 圏Tのmonad (C, \mu, \eta)とは関手C:T \to T, 自然変換\mu:C^2 \to C, \eta:1 \to Cであって、\mu(X)C\eta(X)=\mu(X)\eta(CX)=\id_(CX)と\mu(X)\mu(CX)=\mu(X)C\mu(X)を満たすもの。 monad C上のalgebra(…