偶不是搞编程语言的,但最近读的论文老用到范畴论,所以也就开始学了。James Cheney在他的 主页上放了 Category Theory For Dummies,正好适合偶这样对抽象数学一知半解的人。 LtU上好东西真多啊。