热度排名 #1409
范畴论教程第 2 部分:应用
Tutorial on Category Theory: Part 2 – Applied
接着入门术语,看对象、箭头与组合怎样帮助比较不同系统。可以挑一个例子,把能复合的步骤先画成图。
Topos Institute · 1 串讨论 · 热度 1.869
讨论出处
- Hacker News · 原讨论 ↗2022-10-20 · 帖子分数 3
热度排名 #1409
Tutorial on Category Theory: Part 2 – Applied
接着入门术语,看对象、箭头与组合怎样帮助比较不同系统。可以挑一个例子,把能复合的步骤先画成图。
Topos Institute · 1 串讨论 · 热度 1.869