视频目录 / 抽象代数与对称

系列分集

范畴论进阶第 3.2 讲：单子代数

Category Theory III 3.2, Monad Algebras

一个单子代数带有从 T(A) 到 A 的结构映射。用单位律和结合条件检验，这个映射怎样把多层结构化成同一个结果。

Bartosz Milewski · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Category Theory III · 2020-05-06