Doi-Hopf模范畴上的内射包、余生成元、直积

证明了在Ｄｏｉ－Ｈｏｐｆ模范畴上，存在余生成元和直积，并且每个Ｄｏｉ－Ｈｏｐｆｘ都有唯一的内射包。