计算机科学范畴的一些方面 电子书下载

原名:Some Aspects of Categories in Computer Science
作品简介:对象）和 G 的边（分别是箭头），然后{在类别 G 的情况下{施加适当的方程。这是免费的含义与定义 2.9 相关，并在示例 2.23 中进行了讨论。最初出现在逻辑和可计算性理论的基础上，最近它已成为……