摘要
根据单子和余单子的一些基本知识及半单单子的定义,给出了余半单余单子的定义.得到了与余半单余单子定义等价的2个命题,并给予证明.
Gave the definitions of cosemisimple comonads based on the knowledge of algebras and coalgebras,the definitions of semisimple monads.Obtained two propositions equivalent to the definitions of cosemisimple comonads and gave the proving.
出处
《高师理科学刊》
2010年第4期39-41,共3页
Journal of Science of Teachers'College and University
基金
石河子大学高层次人才科研启动资金项目(RCZX200735)
关键词
单子
半单
余半单
monads
semisimple
cosemisimple