设H是域k上的可换、诺特、半单、余半单的Hopf代数，且具有双射对极．考虑了其上YD（H）范畴的半单性，其中YD（H）是H上的广义Yetter—Drinfeld......

主要证明如下结论：如果（C,T,Δ）是三角范畴,则C是Abelian范畴的充分且必要条件是C中三角是由同构于如下形式的态射图构成：UV〔0 0 0 ......