根据余单子对、双单子对及对角模的定义及性质,构造了两个新的余单子对角模,证明了可分配余单子与余单子对之间的等价关系,得出了双单子对具有缠绕结构的结论。
According to the definitions and properties of comonadic pairs, bimonadic pairs and entwining structures, two new comonadic dimodules were given firstly,then equivalent relations between distributive comonads and comonadic pairs was constructed,finally the proof of bimonadic pairs have the entwining structure was given.