系列分集
范畴论入门第一讲:从对象、箭头和复合开始
Category Theory: The Beginner's Introduction (Lesson 1 Explorations)
先把对象和态射画成点与箭头,问两条箭头何时可以接起来。再检查恒等态射和复合的结合律。
Dr. Martin J.M. Codrington · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Category Theory: The Beginner’s Introduction · 2015-08-14