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