热度排名 #1320
范畴论入门|第一讲第一段
Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)
先熟悉对象、箭头,以及两个箭头什么时候可以接起来。这个起点适合初次遇到范畴论符号的观众。
Dr. Martin J.M. Codrington · 1 串讨论 · 热度 1.978
讨论出处
- Hacker News · 原讨论 ↗2015-08-14 · 帖子分数 5
热度排名 #1320
Category Theory: The Beginner’s Introduction (Lesson 1 Video 1)
先熟悉对象、箭头,以及两个箭头什么时候可以接起来。这个起点适合初次遇到范畴论符号的观众。
Dr. Martin J.M. Codrington · 1 串讨论 · 热度 1.978