计算机科学中的范畴论

【文件属性】：

文件名称：计算机科学中的范畴论

文件大小：4.25MB

文件格式：PDF

更新时间：2021-05-22 13:18:32

category

范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论，以抽象的方法来处理数学概念，将这些概念形式化成一组组的“物件”及“态射”。有些人开玩笑地称之为“一般化的抽象废话”。范畴论出现在很多数学分支中，以及理论计算机科学和数学物理的一些领域。