为啥monad的教程们都是只说范畴论，不提单子论呢

2009-05-24 16:58:21 来自: Fleurer(白天不懂夜的黑)

呃，看wiki上的解释，觉得跟haskell这个monad的性质还挺像的来～

为啥monad的教程们都拉出范畴论来，却对单子论提都不提呢...

以下为复制粘贴：

故实体不可分割，是一没有广延的东西，在莱布尼茨的晚年著作中（Monadology），他称之为单子（Monad），单子的性质就是思（thought）。这广延的世界就是由无限多的单子构成。

封闭性是说每一单子必然是自足的，不依他而存在，而又包含了自己的全部可能性。则一单子不可能和另一单子有交互作用（interaction）。若一单子作用于另一单子，则后一单子有一可能性没有包括在该单子之内，即该单子没能自足的包含自己的全部内容，而要依附于他物。因为实体的定义，这是不可能的。故莱布尼茨说：“单子之间没有窗户。”

统有性是指每一单子都必然以某种角度（perspective）包括了全世界。因为世界是紧密的由因果所构成，故A作用于B，其实不单单是作用于B，而是全世界。如果说一单子的内容包括自身的全部可能，则每一单子均以该单子自身为中心指向全世界。而这个世界是一的，不等于说所有单子都是一样的，因为同一世界可以不同的角度来认知，而不失为一一统的世界。

http://zh.wikipedia.org/w/index.php?title=戈特弗里德·莱布尼茨&variant=zh-cn#.E5.8D.95.E5.AD.90.E8.AE.BA