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

系列分集

范畴论进阶第 8.1 讲：F 代数与兰贝克引理

Category Theory II 8.1: F-Algebras, Lambek's lemma

F 代数在一个对象上配有 F(A)→A 的箭头。看始对象的唯一性怎样迫使这条结构箭头成为同构。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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