设（H,m,μ,φ,σ）是一个余拟三角对偶拟双代数,C是一个关于（H,σ）量子余交换的左H-余模余代数.证明了（C×HM,□C,C）是一个张量范畴,......