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

系列分集

史蒂夫·奥沃迪讲范畴论基础｜第一讲

Category theory foundations 1.0 — Steve Awodey

以对象与态射作为起点，观察许多数学结构怎样共享复合规律。先用集合和函数检验定义。

Mathématiques et programmation · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Category theory foundations — Steve Awodey · 2014-10-23