根據這篇文章觸發的靈感，寫了兩篇定義性文章：

什麼是Monoid?

什麼是Monad？

一般網上談到這兩個概念，總是以Haskell或Scala為案例，由於對具體程式碼的熟悉程度不同，致使人們理解一個複雜概念的同時又引入新的陌生概念，個人認為這不是一種好的學習或分享方式，因此在這兩篇中儘量如何本文樓上的原作者一樣，試圖把看似高深的範疇論用簡單的大白話解釋一下，範疇其實就是一個集合，只不過對這個集合有一些約束定義，如果熟悉業務建模的人可能對這種思維方式不陌生，經常我們會對抽象的事物進行定義，數學上基本就是用集合概念，實際上從羅素悖論拯救了數學開始，數學離不開集合，對於一個國家社會，個人與社會也是不同的概念，社會是一個集合概念，從集合角度考慮問題和從個人元素角度考慮問題是兩種截然不同的思路，如果你平時注重這種區別，你可能會有兩種人生觀。祝你腦洞大開。

[該貼被banq於2014-11-29 18:57修改過]