| 共关系的基本性质 |
| |
| 引用本文： | 周晓聪,舒忠梅.共关系的基本性质[J].中山大学学报(自然科学版),2006,45(3):17-21. |
| |
| 作者姓名： | 周晓聪 舒忠梅 |
| |
| 作者单位： | 中山大学计算机科学系,广东,广州,510275 |
| |
| 基金项目： | 中国科学院资助项目;广东省自然科学基金 |
| |
| 摘 要： | 共关系(corelation)是关系的对偶概念。共关系理论可为共代数行为等价及共等式规范的研究提供一条新的途径。文章使用范畴理论研究共关系的基本性质,讨论共关系与关系之间的对应,以及等价共关系、共等价共关系等。特别地,还探讨了集合范畴中共关系的性质。
|
| 关 键 词： | 共关系 等价共关系 共等价共关系 范畴理论 |
| 文章编号： | 0529-6579（2006）03-0017-05 |
| 收稿时间： | 2005-04-14 |
| 修稿时间： | 2005年4月14日 |
On the Basic Properties of Corelations |
| |
| ZHOU Xiao-cong,SHU Zhong-mei.On the Basic Properties of Corelations[J].Acta Scientiarum Naturalium Universitatis Sunyatseni,2006,45(3):17-21. |
| |
| Authors: | ZHOU Xiao-cong SHU Zhong-mei |
| |
| Institution: | Department of Computer Science, Sun Yat-sen University, Guangzhou 510275, China |
| |
| Abstract: | Corelation is directly dual to relation.The theory of corelations provides a good alternative way to developing the theory of behavioral equivalence of coalgebras,coequational specification,etc.By using category theory,the properties of corelations,including the basic properties of the correspondence between relations and corelations,equivalence corelations,and coequivalence corelations,are investigated.In particular,the properties of corelations in Set,the category of sets and functions,are studied in detail. |
| |
| Keywords: | corelation equivalence corelation coequivalence corelation category theory |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
