方永、南天紫云 · 2024-08-29T02:31:00Z

理解单子是自函子范畴上的幺半群（一）

📝

内容提要

单子是自函子范畴中的幺半群，起点概念是范畴，即对象加态射。对象是东西，态射是映射，具备结合律和单位态射两个属性。任意态射和单位态射相结合仍是该态射。

🎯

关键要点

• 单子是自函子范畴中的幺半群。

• 单子的起点概念是范畴，范畴由对象和态射组成。

• 对象是事物，态射是对象之间的映射。

• 态射需具备结合律和单位态射两个属性。

• 结合律类似于自然数加法的结合律，单位态射类似于函数的输入输出相同。