我不想从开发人员(不是数学学生)的角度介绍范畴论的基本概念,但我看到的每一个资源都使用 Haskel、Scala、F# 或其他我不使用的高度集中的语言.
我们其他人有资源吗?
我不想从开发人员(不是数学学生)的角度介绍范畴论的基本概念,但我看到的每一个资源都使用 Haskel、Scala、F# 或其他我不使用的高度集中的语言.
我们其他人有资源吗?
麻省理工学院有一些关于科学家类别理论的在线课程材料。您还可以下载一本教科书。
Pierce 的计算机科学家基本类别理论符合您的描述。它与任何特定的编程语言无关。
学习范畴论时最好有例子。如果你没有来自数学的例子,也没有来自特定编程语言的例子,那么可能很难激发这个主题。