计算机科学中的范畴论 时间:2021-05-22 13:18:32 【文件属性】: 文件名称:计算机科学中的范畴论 文件大小:4.25MB 文件格式:PDF 更新时间:2021-05-22 13:18:32 category 范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论,以抽象的方法来处理数学概念,将这些概念形式化成一组组的“物件”及“态射”。有些人开玩笑地称之为“一般化的抽象废话”。范畴论出现在很多数学分支中,以及理论计算机科学和数学物理的一些领域。 立即下载