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

系列分集

范畴论第 4.1 讲：终对象与始对象

Category Theory 4.1: Terminal and initial objects

终对象接收来自每个对象的唯一态射，始对象则把唯一态射送往每个对象。在集合范畴里，可以拿单点集和空集验证。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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