%0 Journal Article
%T Subcoalgebras and Cocongruence Corelations<br>子共代数与共同余共关系
%A ZHOU Xiao-Cong
%A SHU Zhong-Mei
%A <br>周晓聪
%A 舒忠梅
%J 软件学报
%D 2006
%I 
%X The study of coalgebraic methods, as one of the active areas for theoretical computer science in recent years, is widely used in concurrence computing model, automat theory, and the foundations of object-oriented technology. Through using category theory, this paper investigates the properties of subcoalgebras, especially, the properties of subcoalgebras on Set, the category of sets and functions. This paper shows that all the subcoalgebras on Set are regular. Furthermore, using the correspondence between the cocongruence corelations and the subcoalgebras on Set, a way to construct the co-generated subcoalgebra is given in this paper.
%K coalgebra
%K subcoalgebra
%K corelation
%K category theory<br>共代数
%K 子共代数
%K 共关系
%K 范畴理论
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=D13419F4A0304B15&yid=37904DC365DD7266&vid=BCA2697F357F2001&iid=E158A972A605785F&sid=A586B761C9AA2FAA&eid=4D0B71A09FA5A2A5&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=20