华南理工大学学报（自然科学版）
華南理工大學學報（自然科學版）
화남리공대학학보（자연과학판）
JOURNAL OF SOUTH CHINA UNIVERSITY OF TECHNOLOGY(NATURAL SCIENCE EDITION)
2013年
9期
58-64
,共7页
代数%共代数%双代数%范畴数据类型%子类型
代數%共代數%雙代數%範疇數據類型%子類型
대수%공대수%쌍대수%범주수거류형%자류형
algebra%coalgebras%bialgebras%categorical data types%subtype
为探讨包含构造操作和观察操作的范畴数据类型上的子类型关系及性质,将双代数作为范畴数据类型上构造操作和观察操作的统一数学描述,分析了归纳数据类型上代数子类型和共归纳数据类型上共代数子类型的范畴论定义及其语义,给出了双代数结构中代数子类型和共代数子类型的范畴论定义及其语义解释,从而将代数子类型和共代数子类型的研究扩展到双代数上.
為探討包含構造操作和觀察操作的範疇數據類型上的子類型關繫及性質,將雙代數作為範疇數據類型上構造操作和觀察操作的統一數學描述,分析瞭歸納數據類型上代數子類型和共歸納數據類型上共代數子類型的範疇論定義及其語義,給齣瞭雙代數結構中代數子類型和共代數子類型的範疇論定義及其語義解釋,從而將代數子類型和共代數子類型的研究擴展到雙代數上.
위탐토포함구조조작화관찰조작적범주수거류형상적자류형관계급성질,장쌍대수작위범주수거류형상구조조작화관찰조작적통일수학묘술,분석료귀납수거류형상대수자류형화공귀납수거류형상공대수자류형적범주론정의급기어의,급출료쌍대수결구중대수자류형화공대수자류형적범주론정의급기어의해석,종이장대수자류형화공대수자류형적연구확전도쌍대수상.
