研究单子和余单子的缠绕结构和缠绕模以及与代数和余代数的缠绕结构和缠绕模之间的关系,定义了余单子的类群元,得到了一些有意义的结论.最后构造了缠绕模范畴上的两个函子,并证明了它们是伴随函子.
In this paper, the entwining structures of and monads, comonads, entwined modules and the relations with those of algebras and coalgebras in categories are in vestigated. We also define group-like elements of comonads and get some interesting results. Furthermore we build two functors between two categories of entwined modules, and prove that the two functors are adjoint.