理解单子是自函子范畴上的幺半群（二）
💡
原文中文，约500字，阅读约需2分钟。
📝
内容提要
函子是范畴间的态射，自函子是将范畴映射到自身的函子。自函子范畴上存在单位态射和自然变换。若存在T² → T的自然变换，则称之为flatMap。选取一个对象F，在自函子范畴上，F、unit和flatMap组成了单子。单子是在自函子范畴上选定了对象和满足特定规则的态射的结构。
🎯
关键要点
- 函子是范畴间的态射。
- 自函子是将范畴映射到自身的函子。
- 自函子范畴是自函子的范畴。
- 自函子范畴上的态射称为自然变换。
- 自函子范畴存在单位态射，称为 unit。
- 若存在自然变换 T² → T，则称之为 flatMap。
- 在自函子范畴上选取对象 F，F、unit 和 flatMap 组成单子。
- 单子是自函子范畴上选定对象和满足特定规则的态射的结构。
➡️
