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

系列分集

范畴论第 6.1 讲：函子

Category Theory 6.1: Functors

先选两个可以复合的箭头，再分别做先复合后映射和先映射后复合。跟着讲解核对函子为何还必须把恒等箭头送到恒等箭头。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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