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

系列分集

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

Category Theory III 4.1, Monad algebras part 2

在两个带结构映射的对象之间，态射还必须与这些结构相容。画出两条从 T(A) 到目标的路线，检查它们何时交换。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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