归纳数据类型的范畴论方法

• 作者: 奚建清 苏锦钿 苗德成
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 归纳数据类型 范畴论 谓词范畴 提升 伴随函子
• 年，卷（期）: 2015,（6）
• 页码范围: 8-11
• 页数: 4页
• 分类号: TP301.2
• 字数: 4977字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2015.6.002

摘要

归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足.基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自函子的提升,最后利用伴随函子及其伴随性质深入分析了归纳数据类型具有普适意义的归纳规则.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	奚建清	华南理工大学计算机科学与工程学院	96	872	13.0	25.0
2	苏锦钿	华南理工大学计算机科学与工程学院	42	209	8.0	13.0
3	苗德成	韶关学院数学与信息科学学院	19	35	3.0	5.0