设Ｈ为有限Ｈｏｐｆ代数，Ｂ为交换环，Ｈ０为交换、余交换的有限Ｈｏｐｆ代数范畴，Ｃ为交换环范畴，Ａ为交换群范畴，证明所有Ｈ－Ｈｏｐｆ－Ｇｏｌｏｉｓ扩张的同构类集合Ｅ（Ｈ，Ｂ）定义一个范畴Ｈ０×Ｃ到Ａ的双......