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

系列分集

范畴论 2.2｜单态射与简单类型

Category Theory 2.2: Monomorphisms, simple types

集合中单射会保留输入之间的区别。范畴论改用箭头复合来刻画这一点，便能讨论其他范畴里的相似对象。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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