乘子Hopf T-余代数的交叉表示范畴

设A=⊕_(p∈G)A_(p)是群G上的乘子Hopf T-余代数,考虑其交叉左A-G模,证明了交叉左A-G模范畴是一个幺半范畴且乘子R={R_(p,q)∈M(A_(p)⊗A_(q))}_(p,q∈G)是A上的拟三角结构当且仅当A的交叉左A-G模范畴是辫子幺半范畴,辫子幺半范畴的辫子由R给出。