幺半羣

前言 一個單子就是一個自函子範疇上的幺半羣。 前面已經講解了範疇以及函子和自函子，那什麼是幺半羣呢？web 幺半羣(Monoid) 維基百科中幺半羣被定義爲是一個伴有二元運算的集合，且這個二元運算只須要知足結合率，而且這個集合中還必須有一個特殊的元素，幺元，對於這個二元運算，一個元素與幺元的運算將返回這個元素自身。 用公式表示爲，假設這個二元運算用 * 表示: 結合律：對任何在 M 內的a、b、c

>>阅读原文<<