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

系列分集

范畴论 1.2｜什么是范畴？

Category Theory 1.2: What is a category?

先给出对象和箭头，再规定哪些箭头可以复合。检查复合的结合律与恒等箭头，能判断一个例子是否形成范畴。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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