草，今天写 Racket 看文档的时候突然发现文档首页好像多了点什么东西：
Category Theory in Programming
原帖在这：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.
也许可以拿这个来范畴论入门？
