范畴数据类型上的子类型

来源 :华南理工大学学报：自然科学版 | 被引量 : 0次 | 上传用户：ospriteo

【摘要】

：

为探讨包含构造操作和观察操作的范畴数据类型上的子类型关系及性质,将双代数作为范畴数据类型上构造操作和观察操作的统一数学描述,分析了归纳数据类型上代数子类型和共归纳

【作者】

：

苏锦钿余珊珊

【机构】

：

华南理工大学计算机科学与工程学院,中山大学信息科学与技术学院

【出处】

：

华南理工大学学报：自然科学版

【发表日期】

：

2013年9期

【关键词】

：

代数共代数双代数范畴数据类型子类型 algebra coalgebras bialgebras categorical data types subty

【基金项目】

：

国家自然科学基金资助项目（61103039）,高等学校博士学科点专项科研基金资助项目（20100172120043）,华南理工大学中央高校基本科研业务费专项资金资助项目（2013ZZ0055）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

多肽自组装及其在生物医学中的应用

多肽自组装广泛存在于自然界中。自组装多肽分子成分简单，生物相容性良好，自组装过程受多方面因素的影响，在生物医学材料方面具有巨大的应用前号。介绍了多肽分子自组装技术的概

期刊

自组装多肽载体支架self-assembly peptide carrier scaffolds

我家的琐事

“嘀嗒嘀嗒……”时钟的指针已经悄悄指向1l点，可鞋柜上的那双男式大拖鞋还端端正正地在那儿摆着，显然它的主人还没回来。

期刊

中学生作文语文学习课外阅读

机械工程创新人才培养模式的改革与实践

装备制造业是我国的产业，高等学校机械类人才的培养质量直接影响着国家的发展能力和创新水平。以高素质创新型机械类人才的培养为目标，本文介绍了培养模式改革的指导思想．课程体

期刊

机械类培养模式教学改革

“文心杯”首届全够十大作文教改之星

刘远亭，河南省商丘市水池铺第二初级中学语文教师。其教学成果多次列入省级观摩课，市级示范课，市、区级优质课等；在国家级、省级刊物上发表《创设情境，让学生“说”起来》等多篇教

期刊

教改教学论文初级中学创设情境国家级商丘市河南省示范课

高校实验室人力资源管理控制探析

实验室管理是一项复杂的工作,其中人力资源作为最活跃、最有潜力的资源,其管理水平的提高会极大地促进实验室的工作质量的提升。本文就高校的实验室人力资源管理做探析,首先

期刊

高校实验室人力资源管理

强化实验教学,建立新型的实验教学管理模式

在分析实验教学重要性的基础上,提出实验教学内容和体系改革的基本思路,建立了科学的课程体系结构,探索新型的实验教学管理模式,提出实验室建设必须贯彻以人为本的指导思想,

期刊

实验教学改革课程体系管理模式队伍建设

基于双段卡尔曼滤波的永磁电机无传感器控制

基于传统卡尔曼滤波的无传感器算法可以在一定程度上消除模型误差和测量误差对状态变量估计值的影响，但存在运算量大、硬件成本高的问题．为解决这一问题，在保持原有算法优点的基

期刊

永磁同步电机无传感器控制最优双段卡尔曼滤波锁相环permanent magnet synchronous motorsensorless contro

你有什么特别的学习技巧吗

新同桌成绩很好，但是我观察了几天，也没见他很用功。难道他每天回家偷偷学习？还是寒暑假的时候就补习过？我怎么也想不通，于是忍不住好奇地问他：“你有什么特别的学习技巧吗？”他大方

期刊

初中生作文语文学习阅读知识课外阅读

浅谈现代教育中的小学教育

本文主要论述了现代教育中小学教育的重要意义,并提出了小学教育改革的一些看法,希望能对小学教育提供一些参考。

期刊

现代教育小学教育教育改革

在复习中提高，在探究中发展——中考前期数学复习中几点思考

数学教学的最终目的是使学生数学能力得到一定发展，教师则应突出学生主体地位，设计教学活动，使学生主动参与数学学习中。通过强化训练，养成勤于动脑，敢于提出问题，解决问题的良好数

期刊

自主参与主体地位基本技能思想方法学习习惯审题能力

范畴数据类型上的子类型

与本文相关的学术论文