系列分集
范畴论 III 第 2.1 讲|弦图上集
Category Theory III 2.1: String Diagrams part 1
把态射画成线路,把复合画成接线。跟着一根线看输入怎样通往输出,可以用图核对代数式的顺序。
Bartosz Milewski · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Category Theory III · 2020-05-06
系列分集
Category Theory III 2.1: String Diagrams part 1
把态射画成线路,把复合画成接线。跟着一根线看输入怎样通往输出,可以用图核对代数式的顺序。
Bartosz Milewski · 系列收录