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

系列分集

范畴论 2.1｜函数和满态射

Category Theory 2.1: Functions, epimorphisms

集合中的满射能覆盖陪域的每个点。范畴论改用复合后的可区分性刻画对应概念，看看两个定义怎样接上。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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