系列分集
为什么单子是自函子范畴里的幺半群
Category Theory 10.2: Monoid in the category of endofunctors
把自函子的复合看成乘积,找出相应的单位与乘法,再检查幺半群的两条规律怎样变成单子的规律。
Bartosz Milewski · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Category Theory · 2016-11-16
系列分集
Category Theory 10.2: Monoid in the category of endofunctors
把自函子的复合看成乘积,找出相应的单位与乘法,再检查幺半群的两条规律怎样变成单子的规律。
Bartosz Milewski · 系列收录