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

系列分集

MIT 范畴论与编程第 8 讲：自然变换与参数多态

Programming with Categories - Lecture 8

先写出两个函子对同一对象的取值，再画出自然变换给出的分量箭头。把类型换一次，检查自然性怎样约束多态函数的行为。

Topos Institute · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Programming with Categories · 2021-04-10