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

系列分集

程序设计里的函子

Category Theory 6.2: Functors in programming

把一个作用于元素的函数提升到带结构的对象上，再检验提升前后的恒等函数和复合是否一致。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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