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

热度排名 #1261

埃文·帕特森：在 Julia 中实现应用范畴论

Evan Patterson: Realizing Applied Category Theory in Julia

这场分享讨论怎样把范畴论里的对象、映射和组合规则写成可运行程序，方便在模型之间复用同一套结构。

Topos Institute · 1 串讨论 · 热度 2.123

在此播放

讨论出处

• Hacker News · 原讨论 ↗2021-12-22 · 帖子分数 30