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

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

📝

内容提要

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