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

系列分集

MIT 范畴论与编程第 7 讲：余积与带标签的并

Programming with Categories - Lecture 7

把来自两个集合的元素贴上不同标签，再合到同一个类型里。试构造从这个新类型出发的函数，检查为何只需分别指定两边如何处理。

Topos Institute · 系列收录

在此播放

讨论出处

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