视频目录 / 抽象代数与对称

热度排名 #1910

拓扑斯研究所｜什么是范畴论？

What is category theory?

把例子画成对象和箭头，先看箭头怎样合成，再问这种语言能同时描述哪些看起来毫无关联的结构。

Topos Institute · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2023-03-24 · 帖子分数 1