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

系列分集

范畴论 III 第 5.2 讲：劳维尔理论

Category Theory III 5.2, Lawvere Theories

把具有多个输入的运算看成从有限积出发的态射。可用一个二元运算跟着画图，观察代入与复合怎样把运算定律写成箭头相等。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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