关于Hopf代数的双交叉模

我们使用Hopf代数胚来表述非交换非余交换Hopf 2-代数的概念。我们展示了这些如何从具有Peiffer恒等式的双交叉积Hopf代数中产生。特别地，我们证明对于具有双射对极的Hopf代数$H$，镜像双交叉积Hopf代数$H\triangleright\!\!\!\blacktriangleleft H_{cop}$是一个Hopf 2-代数。我们将该定理应用于Sweedler的Hopf代数作为例子。