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

系列分集

范畴论第 5.1 讲：余积与和类型

Category Theory 5.1: Coproducts, sum types

从两个集合的不交并入手，标记每个元素来自哪一侧。再给两侧各指定一个映射，跟着泛性质检查它们怎样合成从余积出发的唯一映射。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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