作　　者： ; ;

机构地区： 中山大学信息科学与技术学院计算机科学系

出　　处： 《中山大学学报（自然科学版）》 2006年第3期17-21,共5页

摘　　要： 共关系(corelation)是关系的对偶概念。共关系理论可为共代数行为等价及共等式规范的研究提供一条新的途径。文章使用范畴理论研究共关系的基本性质,讨论共关系与关系之间的对应,以及等价共关系、共等价共关系等。特别地,还探讨了集合范畴中共关系的性质。 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.

关 键 词： 共关系 等价共关系 共等价共关系 范畴理论

领　　域： [自动化与计算机技术] [自动化与计算机技术]