“一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已，这有什么难以理解的？”

看了一点点书，终于能够理解这句话中的：

1. Monad：这是个“函子”
2. “自函子范畴”，勉强能够理解“自函子”和”范畴“
3. 幺半群：知道群，幺半群意思差不多？印象中就是群少了个零元还是什么……

2021-08-28

范畴论记录