理解单子是自函子范畴上的幺半群（四）
💡
原文中文，约300字，阅读约需1分钟。
📝
内容提要
单子是自函子范畴上的幺半群，满足封闭性、结合律、单位元。
🎯
关键要点
- 单子是自函子范畴上的幺半群。
- 幺半群的定义包括封闭性、结合律和单位元。
- 单子 M 由三部分组成：F、unit 和 flatMap。
- 集合可以视为 [F]，unit 是单位元，flatMap 和 unit 满足封闭性和结合律。
- 因此，单子符合幺半群的定义要求。
➡️
