今天午餐有幸跟一群在中研院工作的人吃饭....
大多数人第一次见面，自我介绍是免不了的....
不过这样的自我介绍可能不能介绍兴趣喜好之类的东西....
要介绍我正在研究的东西....
然后，我就被challenge了:
"请5句话解释什么是monad"
大家有什么Idea吗?

记得第一个引入 monad 到 CS 的是 E. Moggi但是 monad 本身在各个范畴下的具体意义都不同。

如果听众设定为CS背景的人呢？

恩，这里专指CS的monad, 不是数学的不过汗颜阿～数学系念完了，才在资科所听到monad

数学系吗？在代数的 action 其实就是一种 monad 。正确地说，action 是 Elienberg-Moore T-algebra。相关的例子有 group action 或是 Vector spacevector space (module)其实是filed (ring) action在交换群上这也是有趣的例子，T-algebra 跟 varieties 是什么关系呢？MacLane 的教科书 p.156 有解释 :p