系列分集
范畴论入门|第一讲第二段
Category Theory: The Beginner’s Introduction (Lesson 1 Video 2)
把箭头画在对象之间,再检查两支箭头是否首尾相接。复合与恒等箭头是后面所有例子要用到的规则。
Dr. Martin J.M. Codrington · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Category Theory: The Beginner’s Introduction · 2015-08-14
系列分集
Category Theory: The Beginner’s Introduction (Lesson 1 Video 2)
把箭头画在对象之间,再检查两支箭头是否首尾相接。复合与恒等箭头是后面所有例子要用到的规则。
Dr. Martin J.M. Codrington · 系列收录