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

系列分集

范畴论第 4.2 讲：积对象

Category Theory 4.2: Products

积对象带两条投影箭头。从第三个对象指向两个因子的箭头，必须能经由一条唯一箭头同时实现。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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