首先给出了单子和余单子的缠绕结构和缠绕模及其与代数和余代数的缠绕结构和缠绕模之间的关系,并构造了一个函子伴随对,其次定义了余单子的类群元,得出了一些相关结论,最后给出了缠绕结构之间相容的定义和等价条件。
The definitions of entwining structures of monads and comonads and entwining modules am given and the paper studied their relations with entwining structures of algebras and coalgebras in categories, then we build an adjoint functors pair between the two categories of entwining modules. Then group-like element of comonads is defined to get some relevant results. At last we give the definition of compatible entwining structure and equivalent conditions.