Racket and Category Theory

include-yy · 2025 年1 月 13 日 04:23

草，今天写 Racket 看文档的时候突然发现文档首页好像多了点什么东西：

原帖在这：Category Theory in Programming - General - Racket Discourse

In this tutorial, I explore the applications of category theory in programming, using Racket to represent abstract mathematical concepts. The completed sections introduce categories, functors, and natural transformations, demonstrating how these ideas map into programming constructs with practical code examples. This work aims to help programmers understand system design from a mathematical perspective, building a foundation that progresses from basic structures to advanced abstractions.

也许可以拿这个来范畴论入门？

BlindingDark · 2025 年1 月 13 日 06:38

让我这个小白试试看能不能入门

include-yy · 2025 年1 月 13 日 06:40

我试了一下，感觉不如 [1803.05316] Seven Sketches in Compositionality: An Invitation to Applied Category Theory，这个我看了两小节，题不会做至少能看解答。

不过也许两个可以对照着看

gynamics · 2025 年1 月 13 日 16:16

这个也不错，我之前查一些小众的名词查到他们那里，他们的页面内容面向有一定数学基础的人写作，但是有非常多的链接。

https://ncatlab.org/nlab/show/category+theory

wargreymon · 2025 年5 月 30 日 19:17

很多頁理論，沒一個實例

HomoLudens · 2025 年5 月 30 日 22:51

对于想学习范畴论但是很少接触数学的人，我想只有Category Theory (Steve Awodey) 可以推荐，这本书相当纯粹直接，没有什么冗余，也不假定什么数学成熟度。当然了，这本书稍微有点编程语言和逻辑学面向，但是该涵盖的基本内容都有。

include-yy · 2025 年5 月 31 日 05:40

我推荐的这本 Racket 的 Category Theory in Programming 我也一直没看。

顺带一提，看完An Invitation to Applied Category Theory — Chapter 1 之后我发现可以从序理论先开始补充一些基础知识。 category theory vs order theory in nLab。

~~看完第一章到现在都半年了也没看第二章~~

感谢推荐。