“一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已，这有什么难以理解的？”
看了一点点书，终于能够理解这句话中的：
2021-08-28
范畴论记录
原文：https://www.cnblogs.com/aobluelan/p/15195766.html
