系列分集
范畴论 III 第 4.2 讲：单子代数（三）
Category Theory III 4.2, Monad algebras part 3
写下把带结构的对象送回普通对象的映射，再逐项跟踪结构运算。看两个结合次序时，可以把各自的复合箭头画成一张图来核对。
Bartosz Milewski · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Category Theory III · 2020-05-06
系列分集
Category Theory III 4.2, Monad algebras part 3
写下把带结构的对象送回普通对象的映射，再逐项跟踪结构运算。看两个结合次序时，可以把各自的复合箭头画成一张图来核对。
Bartosz Milewski · 系列收录