您的位置:首页  > 论文页面

计算机科学中的Comonads理论

发表时间:2013-02-28  浏览量:1596  下载量:681
全部作者: 苏锦钿,余珊珊
作者单位: 华南理工大学计算机科学与工程学院;中山大学信息科学与技术学院
摘 要: 针对目前共模(Comonads)在计算机科学中应用较少的情况,从Monads的范畴对偶角度出发,对Comonads的范畴论定义、基本性质和与共代数之间的关系等方面的最新研究成果进行介绍。首先给出Comonads的范畴论定义,并分析相应的Kleisli三元组和Kleisli范畴;在此基础上,探讨Comonads与伴随之间的关系;最后给出共自由共代数、共自由Comonads及Comonads共代数的定义,并分析它们与Comonads之间的关系。
关 键 词: 软件理论;Comonads;范畴论;共代数;Monads
Title: Theories of Comonads in computer science
Author: SU Jindian, YU Shanshan
Organization: School of Computer Science & Engineering, South China University of Technology; School of Information Science and Technology, Sun Yet-Sen University
Abstract: According to the less applications of Comonads in computer sciences, the recent progresses of Comonad theory including its categorical definitions, basic properties, relations with coalgebras were summarized from the categorically dual perspectives of Monads. The categorical definitions of Comonads were first presented, and then the corresponding Kleisli triple and Kleisli category were analyzed. In addition, the relationship between comonads and adjoint was discussed. Finally, the definitions cofree coalgebras, cofree Comonads and Comonad coalgebras were presented and their relations with Comonads were discussed.
Key words: software theory; Comonads; category theory; coalgebras; Monads
发表期数: 2013年2月第4期
引用格式: 苏锦钿,余珊珊. 计算机科学中的Comonads理论[J]. 中国科技论文在线精品论文,2013,6(4):289-295.
 
0 评论数 0
暂无评论
友情链接