今天午餐有幸跟一群在中研院工作的人吃飯....
大多數人第一次見面，自我介紹是免不了的....
不過這樣的自我介紹可能不能介紹興趣喜好之類的東西....
要介紹我正在研究的東西....
然後，我就被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