设（H，△．ε，Ф，R，S）是一个拟三角拟Hopf代数，A是一个关于（H，R）量子交换的左H-模代数．证明了（A#HM,×A，A）是一个张量范畴，并且给出了它成为一个......