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

作     者：苗德成 奚建清 苏锦钿 MIAO De-cheng;XI Jian-qing;SU Jin-dian

作者机构：韶关学院数学与信息科学学院韶关512005 华南理工大学计算机科学与工程学院广州510640 

基　　金：国家自然科学基金项目(61103038) 广东省自然科学基金项目(S2013010015944 2012A010701011) 韶关市科技计划项目(2013CX/K61)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2015年第42卷第6期

页      码：8-11页

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

主 题 词：归纳数据类型 范畴论 谓词范畴 提升 伴随函子 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.11896/j.issn.1002-137X.2015.6.002

馆 藏 号：203551442...