我开始感兴趣，但在一个地方没有找到相应术语的列表：
Map <-> Morphism
Foldable <-> Catamorphism
...
谁可以补充术语列表
【问题讨论】：
bind 属于 Kleisli 类别。
return）和 µ（对于 @ 987654325@，而不是 >>=)，有时称为 unit 和 multiplication。
标签： math functional-programming lambda-calculus category-theory
我认为您的问题是正确的，但是类别理论与其他概念的联系方式还有很多。我还发现将类别理论与类型理论相关联比将类别理论与转换相关联带来的更多。我说相关，因为虽然数学和计算机科学可能使用相同的术语，但它们并不相同；一个不能与另一个互换。
John C. Baez 和 Mike Stay
范畴理论：对象 X
计算：数据类型 X
范畴论：态射 f: X → Y
计算：程序 f: X → Y
范畴论：对象的张量积：X ⊗ Y
计算：数据类型的乘积：X ⊗ Y
范畴论：态射的张量积：f ⊗ g
计算：并行执行的程序：f ⊗ g
分类理论：内部 hom：X ⊸ Y
计算：函数类型：X ⊸ Y
来自 nLab
范畴论：hom-tensor adjunction的单位
类型理论：beta 减少
范畴论：hom-tensor adjunction 的单位
类型理论：eta 转换
米田嵌入在范畴论中很熟悉。延续传递变换在计算机编程中很常见。 They’re the same thing!为什么从来没有人这么说？
迈克·斯泰
这个问题比一个 SO 的答案要多得多。
当我过去研究这个问题时，我在StackExchange: Computer Science 提出了我的大部分问题，并将最有用的参考资料更新为Category Theory tag 的一部分。您所寻求的大部分内容都可以在这些参考资料中找到。
如果我可以使用 SO Markdown 创建表格，我会添加更多内容，但如果不在表格中，在列表中看到它们就会失去它的影响。
如果您发现感兴趣的范畴论，那么您还应该看看HoTT（同伦类型理论）
【讨论】：