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

热度排名 #1834

瓦莱里娅·德·派瓦谈范畴论与数学社群

#59 - Category Theory and Inclusivity - Valeria de Paiva

访谈由范畴论的研究谈到谁有机会加入讨论。遇到抽象术语时，可以顺手找讲者给出的对象与箭头，看看它们各指什么，以及换一个应用场景后，原有的组合规则还能否保留。

Type Theory Forall · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2026-01-30 · 帖子分数 1