热度排名 #1310
一堂容易跟上的范畴论入门
A Sensible Introduction to Category Theory
奥利弗·勒格从对象、箭头和箭头的复合讲起。先看定义怎样组织例子,再理解为什么同一套规则能出现在不同领域。
Oliver Lugg · 1 串讨论 · 热度 2.013
讨论出处
- Hacker News · 原讨论 ↗2022-12-01 · 帖子分数 7
热度排名 #1310
A Sensible Introduction to Category Theory
奥利弗·勒格从对象、箭头和箭头的复合讲起。先看定义怎样组织例子,再理解为什么同一套规则能出现在不同领域。
Oliver Lugg · 1 串讨论 · 热度 2.013