半单、余半单及其性质

Semisimple,cosemisimple and their properties

根据单子和余单子的一些基本知识及半单单子的定义,给出了余半单余单子的定义.得到了与余半单余单子定义等价的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.