我变得很感兴趣，在一个地方没有找到相应术语的列表:Map <-> MorphismFoldable <-> Catamorphism
...
谁可以补充条款 list
最佳答案
我认为您的问题是在正确的轨道上，但是范畴理论与其他概念的联系方式还有很多。我还发现，将类别理论与类型理论联系起来比将类别理论与转换联系起来能带来更多好处。我说的是相关的，因为尽管数学和计算机科学可能使用相同的术语，但它们并不相同。一个不能与另一个互换。
Physics, Topology, Logic and Computation: A Rosetta Stone
约翰·C·贝兹(John C.
范畴论:对象X
计算:数据类型X
范畴论:态射f:X→Y
计算:程序f:X→Y
范畴论:物体的张量积:X⊗Y
计算:数据类型的乘积:X⊗Y
范畴论:态射量的张量积:f⊗g
计算:并行执行的程序:f⊗g
范畴论:内部关系:X⊸Y
计算:函数类型:X⊸Y
relation between type theory and category theory
来自nLab
范畴理论:同态张量附加的单位
类型理论:beta减少
范畴论:单向张量附加的单位
类型理论:eta转换
米田嵌入
由Mike Stay
其他引用
这个问题的内容远远超出了SO答案的范围。
过去，当我调查此问题时，我在StackExchange: Computer Science上提出了大多数问题，并更新了最有用的引用作为Category Theory tag的一部分。您所寻求的大多数东西都可以在这些引用文献中找到。
TL; DR
如果我可以使用SO Markdown创建表，那么我会添加更多的内容，但是如果没有在表中看到它们，就会失去其影响力。
如果找到感兴趣的类别理论，则还应该查看HoTT(同伦类型理论)