我开始感兴趣，但没有在一个地方找到相应术语的列表：
Map <-> Morphism
Foldable <-> Catamorphism
。
谁可以补充术语列表
我认为你的问题是正确的，但范畴论与其他概念的联系还有很多。我还发现，将范畴论与类型论联系起来比将范畴论与变换联系起来要多得多。我说相关，因为虽然数学和计算机科学可能使用相同的术语，但它们并不相同;一个不能与另一个互换。
物理、拓扑、逻辑和计算：罗塞塔石
碑作者：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
范畴论：同源张量结合
的共单位 类型论：β约简
范畴论：同位张量结合
的单位 类型论：η转换
米田嵌入
米田嵌入在范畴论中很熟悉。延续传递转换在计算机编程中很常见。 他们是一回事！为什么没有人这么说？
作者：迈克·斯泰尔
其他参考资料
这个问题还有很多东西可以放在一个 SO 答案中。
当我过去研究这个问题时，我在StackExchange上问了我的大部分问题：计算机科学，并更新了最有用的参考文献作为类别理论标签的一部分。您寻求的大部分内容都可以在这些参考资料中找到。
TL;博士
如果我可以使用SO Markdown创建表格，我会添加更多表格，但是如果在表格中看到它们在列表中只会失去其影响。
如果你发现感兴趣的范畴理论，那么你也应该看看HoTT(同伦类型理论(