→ xcycl:記得第一個引入 monad 到 CS 的是 E. Moggi 08/11 19:14
→ xcycl:但是 monad 本身在各個範疇下的具體意義都不同。 08/11 19:16
推 noctem:如果聽眾設定為CS背景的人呢？ 08/11 21:10
→ SansWord:恩，這裡專指CS的monad, 不是數學的 08/12 00:26
→ SansWord:不過汗顏阿～數學系念完了，才在資科所聽到monad 08/12 00:27
→ xcycl:數學系嗎？在代數的 action 其實就是一種 monad 。 08/12 02:07
→ xcycl:正確地說，action 是 Elienberg-Moore T-algebra。 08/12 02:09
→ xcycl:相關的例子有 group action 或是 Vector space 08/12 02:09
→ xcycl:vector space (module)其實是filed (ring) action在交換群上 08/12 02:10
→ xcycl:這也是有趣的例子，T-algebra 跟 varieties 是什麼關係呢？ 08/12 02:13
→ xcycl:MacLane 的教科書 p.156 有解釋 :p 08/12 02:15