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

系列分集

范畴论进阶第 4.1 讲：可表函子

Category Theory II 4.1: Representable Functors

看一个集合值函子能否写成从某个固定对象出发的态射集合。检验时同时比较对象上的值和箭头上的作用。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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