范畴数据类型(CDT)构造的基本原理

作者：边根庆; 赵文静; 陈建; 冯钢

来源：微电子学与计算机, 2005, (06): 177-180.

DOI：10.19304/j.cnki.issn1000-7180.2005.06.050

• 数据类型
• 范畴理论
• 并行计算

范畴数据类型(CDT)是以范畴理论为基础来讨论数据类型的构造及应用,它是抽象数据类型的一种推广,在并行计算的理论研究中有着重要的地位。文章对范畴数据类型(CDT)构造的基本原理作了深入探讨,并采用了一种新的方法实现了CDT同态的因子分解定理,得到了CDT构造中某些重要的性质和CDT因子分解定理。

• 单位
  华南师范大学; 西安建筑科技大学