理解单子是自函子范畴上的幺半群（一）
💡
原文中文，约500字，阅读约需2分钟。
📝
内容提要
单子是自函子范畴中的幺半群，起点概念是范畴，即对象加态射。对象是东西，态射是映射，具备结合律和单位态射两个属性。任意态射和单位态射相结合仍是该态射。
🎯
关键要点
- 单子是自函子范畴中的幺半群。
- 单子的起点概念是范畴，范畴由对象和态射组成。
- 对象是事物，态射是对象之间的映射。
- 态射需具备结合律和单位态射两个属性。
- 结合律类似于自然数加法的结合律，单位态射类似于函数的输入输出相同。
➡️
