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

系列分集

范畴论 II 第 2.1 讲｜极限与高阶函子

Category Theory II 2.1: Limits, Higher order functors

把极限理解成一张图的映射关系所确定的对象。再看函子如何把这种构造带到另一层结构上。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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