期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
Comonads理论及其在函数式程序语言Haskell中的应用
1
作者 苏锦钿 余珊珊 《计算机科学》 CSCD 北大核心 2011年第7期144-147,156,共5页
函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质,以及Comonads在Has... 函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质,以及Comonads在Haskell的具体实现;接着探讨Comonads的CoKleisli三元组和CoKleisli范畴,通过实例说明如何将其应用于上下文依赖计算的描述和推理中;最后进一步研究Comonads与Monads之间的分配律,指出如何通过分配律将效果计算与上下文依赖计算有机地融合起来。 展开更多
关键词 comonads 函数式程序语言 HASKELL 上下文依赖计算 范畴论
在线阅读 下载PDF
The cosemisimplicity and cobraided structures of monoidal comonads
2
作者 Xiaohui ZHANG Hui WU 《Frontiers of Mathematics in China》 SCIE CSCD 2022年第3期485-499,共15页
In this paper,we study the category of corepresentations of a monoidal comonad.We show that it is a semisimple category if and only if the monoidal comonad is a cosemisipmle(coseparable)comonad,and it is a braided cat... In this paper,we study the category of corepresentations of a monoidal comonad.We show that it is a semisimple category if and only if the monoidal comonad is a cosemisipmle(coseparable)comonad,and it is a braided category if and only if the monoidal comonad admit a cobraided structure.At last,as an application,the braided structure and the semisimplicity of the Hom-comodule category of a monoidal Hom-bialgebra are discussed. 展开更多
关键词 comonads braided cateogries monoidal Hom-Hopf algebras
原文传递
The Braided Monoidal Structure on the Category of Comodules of Bimonads
3
作者 Bingliang Shen Xiaoguang Zou Nanqing Ding 《Algebra Colloquium》 SCIE CSCD 2019年第4期565-578,共14页
We investigate how the category of comodules of bimonads can be made into a monoidal category.It suffices that the monad and comonad in question are bimonads,with some extra compatibility relation.On a monoidal catego... We investigate how the category of comodules of bimonads can be made into a monoidal category.It suffices that the monad and comonad in question are bimonads,with some extra compatibility relation.On a monoidal category of comodules of bimonads,we cons true t a braiding and get the necessary and sufficien t conditions making it a braided monoidal category.As an application,we consider the category of comodules of corings and the category of entwined modules. 展开更多
关键词 MONAD COMONAD bimonad braided monoidal category
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部