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

系列分集

范畴论 III 第 5.1 讲：艾伦伯格—摩尔范畴与劳维尔理论

Category Theory III 5.1, Eilenberg Moore and Lawvere

先写出一个单子代数的底对象及结构映射，再观察保持结构的箭头需要满足什么。进入劳维尔理论时，留意有限积怎样用来记录多个输入的运算。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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