幺半群

前言 一个单子就是一个自函子范畴上的幺半群。 前面已经讲解了范畴以及函子和自函子，那什么是幺半群呢？web 幺半群(Monoid) 维基百科中幺半群被定义为是一个伴有二元运算的集合，且这个二元运算只须要知足结合率，而且这个集合中还必须有一个特殊的元素，幺元，对于这个二元运算，一个元素与幺元的运算将返回这个元素自身。 用公式表示为，假设这个二元运算用 * 表示: 结合律：对任何在 M 内的a、b、c

>>阅读原文<<