范畴数据类型上的子类型

doi:10.3969/j.issn.1000-565X.2013.09.010

华南理工大学学报（自然科学版） ›› 2013, Vol. 41 ›› Issue (9): 58-64.doi: 10.3969/j.issn.1000-565X.2013.09.010

范畴数据类型上的子类型

苏锦钿¹余珊珊²

1．华南理工大学计算机科学与工程学院，广东广州 510006; 2．中山大学信息科学与技术学院，广东广州 510275

收稿日期:2013-01-07 修回日期:2013-03-15 出版日期:2013-09-25 发布日期:2013-08-01
通信作者: 苏锦钿(1980-)，男，博士，副教授，主要从事形式化方法、形式语义、构件技术、共代数与双代数研究． E-mail:SuJD@scut.edu.cn
作者简介:苏锦钿(1980-)，男，博士，副教授，主要从事形式化方法、形式语义、构件技术、共代数与双代数研究．
基金资助:
国家自然科学基金资助项目(61103039);高等学校博士学科点专项科研基金资助项目(20100172120043);华南理工大学中央高校基本科研业务费专项资金资助项目(2013ZZ0055)

Subtype of Categorical Data Types

Su Jin- dian¹Yu Shan- shan²

1.School of Computer Science and Engineering,South China University of Technology,Guangzhou 510006,Guangdong,China;2.School of Information Science and Technology,Sun Yet- Sen University,Guangzhou 510275,Guangdong,China

Received:2013-01-07 Revised:2013-03-15 Online:2013-09-25 Published:2013-08-01
Contact: 苏锦钿(1980-)，男，博士，副教授，主要从事形式化方法、形式语义、构件技术、共代数与双代数研究． E-mail:SuJD@scut.edu.cn
About author:苏锦钿(1980-)，男，博士，副教授，主要从事形式化方法、形式语义、构件技术、共代数与双代数研究．
Supported by:
国家自然科学基金资助项目(61103039);高等学校博士学科点专项科研基金资助项目(20100172120043);华南理工大学中央高校基本科研业务费专项资金资助项目(2013ZZ0055)

摘要/Abstract

摘要： 为探讨包含构造操作和观察操作的范畴数据类型上的子类型关系及性质，将双代数作为范畴数据类型上构造操作和观察操作的统一数学描述，分析了归纳数据类型上代数子类型和共归纳数据类型上共代数子类型的范畴论定义及其语义，给出了双代数结构中代数子类型和共代数子类型的范畴论定义及其语义解释，从而将代数子类型和共代数子类型的研究扩展到双代数上．

关键词: 代数, 共代数, 双代数, 范畴数据类型, 子类型

Abstract:

In order to investigate the subtype relationships and the properties of categorical data types which usually contain both construction operations and observation operations,this paper adopts the bialgebras to bring a bout aunified mathematical description of the construction operations and observations operations of categorical data types,and analyzes categorical definitions and their semantics,which are both used to describe the algebraic subtypes of inductive data types and the coalgebraic subtypes of coinductive data types,as well as the algebraic and coalgebraic subtypes in bialgebraic structures.Thus,the researches on the algebraic and coalgebraic subtypes are extended to the bialgebras.

Key words: algebra, coalgebras, bialgebras, categorical data types, subtype

中图分类号:

TP301.2

苏锦钿余珊珊. 范畴数据类型上的子类型[J]. 华南理工大学学报（自然科学版）, 2013, 41(9): 58-64.

[1]	杨筱沛, 王威, 蒋博彦, 等 . 不同雷诺数下二维翼型尾涡脱落的流动分析[J]. 华南理工大学学报(自然科学版), 2020, 48(10): 96-104,112.
[2]	杜鹃吴洪涛杨小龙陈柏程世利. 基于R* (3,0,1)几何代数的六轴机器人位姿反解[J]. 华南理工大学学报(自然科学版), 2018, 46(9): 30-35.
[3]	苏锦钿余珊珊. 带固定参数的 Monadic 递归[J]. 华南理工大学学报（自然科学版）, 2014, 42(7): 33-39,73.
[4]	苏锦钿余珊珊. 强共归纳数据类型上的 Comonadic 共递归[J]. 华南理工大学学报（自然科学版）, 2014, 42(1): 128-134.
[5]	苏锦钿余珊珊. 广义共迭代及其计算律[J]. 华南理工大学学报(自然科学版), 2012, 40(9): 62-68.
[6]	田志祥吴洪涛. 闭环双臂空间机器人的动力学建模与仿真[J]. 华南理工大学学报（自然科学版）, 2011, 39(8): 42-47,65.
[7]	廖彬杜明辉胡金龙. 基于光照辐射模型的光流场估计[J]. 华南理工大学学报（自然科学版）, 2011, 39(5): 44-48,54.
[8]	苏锦钿余珊珊. 抽象数据类型的双代数结构[J]. 华南理工大学学报（自然科学版）, 2011, 39(12): 44-50.
[9]	苏锦钿余珊珊. 共归纳数据类型上的共递归操作及其计算定律[J]. 华南理工大学学报（自然科学版）, 2011, 39(10): 90-95.
[10]	王全迪张金焕. 一类五次代数曲线的图形分类[J]. 华南理工大学学报（自然科学版）, 2006, 34(11): 109-113.

范畴数据类型上的子类型

Subtype of Categorical Data Types

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 10

编辑推荐

Metrics

本文评价