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

系列分集

范畴论：什么是陪函子？

Category Theory III 6.1, Profunctors

从两个范畴的对象对出发，辨认一个变量为何逆变、另一个为何协变，并与普通函子比较。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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