哪些术语对应于范畴论中的 Map、Filter、Foldable、Bind 等？
Which terms is corresponding for Map, Filter, Foldable, Bind etc from Category Theory?
我开始感兴趣，但没有在一个地方找到相应术语的列表：
Map <-> Morphism
Foldable <-> Catamorphism
...
谁可以补充术语表
我认为你的问题是在正确的轨道上，但范畴论与其他概念的联系方式还有很多。我还发现，将范畴论与类型论相关联比将范畴论与转换相关联更能为 table 带来更多好处。我说相关，因为虽然数学和计算机科学可能使用相同的术语，但它们并不相同；一个不能与另一个互换。
Physics, Topology, Logic and Computation: A Rosetta Stone
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
relation between type theory and category theory
来自 nLab
范畴论：hom-tensor adjunction 的联合
类型理论：beta 缩减
范畴论：hom-tensor adjunction 的单位
类型理论：eta 转换
米田嵌入
The Yoneda embedding is familiar in category theory. The continuation passing transform is familiar in computer programming.
They’re the same thing! Why doesn’t anyone ever say so?
迈克·斯泰
其他参考资料
这个问题比 SO 答案可能包含的内容要多得多。
当我过去调查这个问题时，我在 StackExchange: Computer Science and updated the most useful references as part of the Category Theory tag 上问了我的大部分问题。您要查找的大部分内容都可以在这些参考资料中找到。
TL;DR
如果我可以用 SO Markdown 创建 tables 我会添加更多，但如果不在 table 中，在列表中看到它们只会失去影响。
如果您对范畴论感兴趣，那么您还应该看看 HoTT（同伦类型论）
我开始感兴趣，但没有在一个地方找到相应术语的列表：
Map <-> Morphism
Foldable <-> Catamorphism
...
谁可以补充术语表
我认为你的问题是在正确的轨道上，但范畴论与其他概念的联系方式还有很多。我还发现，将范畴论与类型论相关联比将范畴论与转换相关联更能为 table 带来更多好处。我说相关，因为虽然数学和计算机科学可能使用相同的术语，但它们并不相同；一个不能与另一个互换。
Physics, Topology, Logic and Computation: A Rosetta Stone
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
relation between type theory and category theory
来自 nLab
范畴论：hom-tensor adjunction 的联合
类型理论：beta 缩减
范畴论：hom-tensor adjunction 的单位
类型理论：eta 转换
米田嵌入
The Yoneda embedding is familiar in category theory. The continuation passing transform is familiar in computer programming. They’re the same thing! Why doesn’t anyone ever say so?
迈克·斯泰
其他参考资料
这个问题比 SO 答案可能包含的内容要多得多。
当我过去调查这个问题时，我在 StackExchange: Computer Science and updated the most useful references as part of the Category Theory tag 上问了我的大部分问题。您要查找的大部分内容都可以在这些参考资料中找到。
TL;DR
如果我可以用 SO Markdown 创建 tables 我会添加更多，但如果不在 table 中，在列表中看到它们只会失去影响。
如果您对范畴论感兴趣，那么您还应该看看 HoTT（同伦类型论）