Partial H-Hopf群模范畴 (2012年)

首先引入Partial H-Hopf群数组和Partial H-Hopf群模的定义，然后给出相关例子，最后证明了从Partial H-Hopf群模范畴到模范畴的忘却函子有伴随函子。