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

系列分集

范畴论第 9.1 讲：自然变换

Category Theory 9.1: Natural transformations

为同一对函子在每个对象上指定一条分量箭头。再用任意态射画出自然性方块，核对先走横边还是先走竖边是否得到相同结果。

Bartosz Milewski · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Category Theory · 2016-11-16