［转］关于Category Theory 和Monad

win_hate

文章不错。

这段没看明白：

对于C中的morphism,f:a->T(b),经过算子T有T(f):T(a)->T(T(b)),那么μb o T(f)=T(T(b))->T(b) o T(a)- >T(T(b))=T(a)->T(b).最终和bind >>=的定义同构。

按数学上的定义，monad 中的 μ 为 T^2 到 T 的自然变换，所以 μx 的类型应该是 (T (T x)) -> (T x)。

Philip Wadler 早期的文章在引人 monad 时采用的是 join/map 途径，而 join 类型就是 (M (M x)) -> (M x)。

join, bind 的等价性还没看懂。

drunkedcat

看完了，好文章，讲得真透彻啊。
要不是假期看了点范畴论，还真难看懂。
想看原文

因为图没有看到。楼主给原文地址。

win_hate

原帖由 drunkedcat 于 2009-3-28 15:02 发表
看完了，好文章，讲得真透彻啊。
要不是假期看了点范畴论，还真难看懂。
想看原文

因为图没有看到。楼主给原文地址。

我问的那一段能帮忙解释一下吗？

原文也没有图，跟这个一样的，不用找了。

那几个图自己画一下好了。

drunkedcat

这个我记得是有个证明的，忘记在哪看的了。我再找找。

Magicloud

原帖由 win_hate 于 2009-3-28 15:16 发表



我问的那一段能帮忙解释一下吗？

原文也没有图，跟这个一样的，不用找了。

那几个图自己画一下好了。

原文的圖要有J眼的帳號才能看到……

win_hate

drunkedcat

呵呵，win_hate 兄在拿我开涮吗？

我找到那个文章了，链接在这里。
http://en.wikibooks.org/wiki/Haskell/Category_theory

win_hate

收到，谢谢了。