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

系列分集

范畴论例子：序关系与幺半群

Category Theory 3.1: Examples of categories, orders, monoids

把序关系和幺半群各写成一个范畴，明确其中什么算对象、什么算态射，以及如何复合。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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