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

系列分集

范畴论 II 第 5.1 讲：米田嵌入

Category Theory II 5.1: Yoneda Embedding

把每个对象送到由指向它的态射构成的函子。跟着讲解追踪原范畴的一支箭头怎样变成自然变换，再检查嵌入为什么保留态射信息。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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