辫化 Hopf 代数的积分

引入无穷辫化 Hopf 代数 $H$ 的忠实拟对偶 $H^d$ 与严格拟对偶 $H^{d'}$，并证明每个严格拟对偶 $H^{d'}$ 是一个 $H$-Hopf 模。发现了积分与 $H^d$ 的极大有理 $H^d$-子模 $H^{d rat}$ 之间的联系。即证明了 $H^{d rat}\cong \int ^l_{H^d} \otimes H$。给出了 Yetter-Drinfeld 范畴 $(^B_B{\cal YD},C)$ 中辫化 Hopf 代数积分的存在性与唯一性。