摘要： 对于上了计概课的同学们, 相信大家都有很多问号, 什么是 monad 捏? monad 就是自函子范畴上的一个"幺半群" (?) 我们来尝试理解一下这句话在说什么, 首先这里的"幺半群"是在通常意义上的幺半群的一个推广, 也就是说知道什么是幺半群的同学可以先忘掉原有概念 一个范畴 category 阅读全文