期刊文献+
共找到13篇文章
< 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
强共归纳数据类型上的Comonadic共递归 被引量:2
2
作者 苏锦钿 余珊珊 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2014年第1期128-134,共7页
针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题,首先证明了笛卡尔封闭范畴上的终结共代数是强终结的,并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归——punfold,使得共归纳数据类型上的共递归计算... 针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题,首先证明了笛卡尔封闭范畴上的终结共代数是强终结的,并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归——punfold,使得共归纳数据类型上的共递归计算可以包含额外的参数作为计算的输入;然后利用基于Comonads的Comonadic共递归给出了unfold和punfold的一种统一的描述,并进一步分析了punfold上的各种计算律,从而将Pardo对基于Comonads的带参数的递归计算研究扩展到共归纳数据类型. 展开更多
关键词 递归函子 共归纳数据类型 终结共代数 共递归
下载PDF
The cosemisimplicity and cobraided structures of monoidal comonads
3
作者 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
原文传递
缠绕结构与缠绕模 被引量:4
4
作者 代瑞香 刘超 王顶国 《石河子大学学报(自然科学版)》 CAS 2008年第1期106-109,共4页
首先给出了单子和余单子的缠绕结构和缠绕模及其与代数和余代数的缠绕结构和缠绕模之间的关系,并构造了一个函子伴随对,其次定义了余单子的类群元,得出了一些相关结论,最后给出了缠绕结构之间相容的定义和等价条件。
关键词 单子 余单子 缠绕结构 缠绕模
下载PDF
余导子与余积分及其性质 被引量:3
5
作者 代瑞香 刘超 《石河子大学学报(自然科学版)》 CAS 2010年第5期658-660,共3页
根据余环上的余导子与余整合的定义及性质,给出了T-余单子上的余导子、余整合的定义,并在它们构成的阿贝尔群之间构造了一个同构关系;基于代数模理论的知识,在余环的余可分性质基础上刻画了余单子余可分、忘却函子可分与余积分存在之间... 根据余环上的余导子与余整合的定义及性质,给出了T-余单子上的余导子、余整合的定义,并在它们构成的阿贝尔群之间构造了一个同构关系;基于代数模理论的知识,在余环的余可分性质基础上刻画了余单子余可分、忘却函子可分与余积分存在之间的相互等价关系。 展开更多
关键词 T-余单子 余导子 余积分
下载PDF
双单子对与缠绕结构 被引量:1
6
作者 代瑞香 王顶国 《石河子大学学报(自然科学版)》 CAS 2011年第4期526-528,共3页
根据余单子对、双单子对及对角模的定义及性质,构造了两个新的余单子对角模,证明了可分配余单子与余单子对之间的等价关系,得出了双单子对具有缠绕结构的结论。
关键词 余单子对 双单子对 对角模
下载PDF
余模范畴上单子的构造
7
作者 代瑞香 《兵团教育学院学报》 2009年第5期38-40,共3页
根据A-上环(A是代数)的类群元的定义及有关性质,文章首先给出T-余单子(T是单子)的类群元的定义、存在条件,其次研究了类群元与缠绕结构之间的相关性质,最后构造了T-余模范畴上的单子。
关键词 余单子 缠绕模 类群元
下载PDF
Hom(余)单子
8
作者 李海涛 王刚 《曲阜师范大学学报(自然科学版)》 CAS 2010年第2期44-48,84,共6页
引入Hom(余)单子,Hom-A上环等概念,给出了Hom(余)单子的例子以及构造Hom结合(余)单子的方法,得到了(B,m,e,α)为Hom-A环的一些等价条件,并且证明了下面的结论:设(T,G,η,):A→A是伴随对,则T是Hom单子等价于G是Hom余单子;T是Hom余单子... 引入Hom(余)单子,Hom-A上环等概念,给出了Hom(余)单子的例子以及构造Hom结合(余)单子的方法,得到了(B,m,e,α)为Hom-A环的一些等价条件,并且证明了下面的结论:设(T,G,η,):A→A是伴随对,则T是Hom单子等价于G是Hom余单子;T是Hom余单子等价于G是Hom单子. 展开更多
关键词 Hom单子 Hom余单子 Hom-A上环
下载PDF
单子和余单子的缠绕结构 被引量:6
9
作者 王顶国 代瑞香 《数学学报(中文版)》 SCIE CSCD 北大核心 2008年第5期927-932,共6页
研究单子和余单子的缠绕结构和缠绕模以及与代数和余代数的缠绕结构和缠绕模之间的关系,定义了余单子的类群元,得到了一些有意义的结论.最后构造了缠绕模范畴上的两个函子,并证明了它们是伴随函子.
关键词 单子 余单子 缠绕模 伴随函子
原文传递
张量余单子与张量范畴
10
作者 张晓辉 王圣祥 《数学学报(中文版)》 SCIE CSCD 北大核心 2014年第3期485-492,共8页
设是一个张量范畴,g和F均为上的张量余单子,p是一个余单子分配率.本文从FG的张量余单子结构和2-范畴的角度,描述了双余模范畴的张量结构,并给出了其做成张量范畴的一些充要条件. ’
关键词 余单子 双余模 张量范畴 2-范畴
原文传递
张量余单子的余半单性与余辫子结构
11
作者 张晓辉 吴慧 《数学进展》 CSCD 北大核心 2017年第2期221-233,共13页
本文研究了张量余单子的余半单性和余表示范畴,给出了其余半单性和余可裂性的等价性定理.并证明了其余表示范畴是辫子范畴当且仅当该张量余单子是余辫子的.作为应用研究了张量型Hom-双代教的Hom-余模范畴的半单性和辫子结构.
关键词 余单子 辫子张量范畴 张量型Hom-双代数
原文传递
The Braided Monoidal Structure on the Category of Comodules of Bimonads
12
作者 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
原文传递
T-余单子可分的等价条件
13
作者 代瑞香 王顶国 《数学进展》 CSCD 北大核心 2011年第2期156-160,共5页
文章类似于A-上环(coring)给出T-余单子(comonad)的一些性质(这里A是代数,T是单子(monad)).首先定义了实(firm)单子等相关概念,其次研究了与Frobenius函子等价的两个命题,最后给出了与余单子可分等价的五个命题.
关键词 T-余单子 可分函子 Frobenius函子
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部