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

热度排名 #1323

在范畴论里，对角线论证可以怎样推广？

What A General Diagonal Argument Looks Like (Category Theory)

从熟悉的对角构造出发，抽出论证真正依赖的映射关系。适合已学过范畴论基本语言、想比较不同对角线证明的观众。

Thricery · 1 串讨论 · 热度 1.978

在此播放

讨论出处

• Hacker News · 原讨论 ↗2022-10-08 · 帖子分数 5