我在看 Haskell 的时候，搜索了一下 Monad 的定义：

独异点，带有中性元的半群

然后通过维基百科发现这么一句话

幺半群（独异点）

半群的正式研究开始于二十世纪早期。自从1950年代，有限半群的研究在理论计算机科学中变得特别重要，因为在有限半群和有限自动机之间有自然的联系。

既然这么重要，我就打算找些相关的书看一看，目前我觉得我能看懂的只有这本《Conceptual Mathematics》，并没有中文版，所以我只能看英文原版了。

知乎上@甄景贤（研究普适人工智能）推荐这本书的理由是『中学生也能看懂』。

以下是我第一章的笔记。原书是英文版，我可能有翻译不对的地方，凑合看吧。

由于图太多，传到掘金很麻烦，我就直接截图了：