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

系列分集

范畴论 II 第 4.2 讲：米田引理

Category Theory II 4.2: The Yoneda Lemma

先追踪恒等态射在自然变换下被送到哪里，再用自然性方块恢复它在其他态射上的取值。跟着讲解画一个最小例子，核对箭头的方向。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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