高（Ｌ，（１））是辫化Ｈｏｐｆ代数，则余模范畴μ是辫化ｍｏｎｏｉｄａｌ范畴。若ｆ：Ｈ→Ｌ是Ｈｏｐｆ代数同态，我们可以在＾Ｌμ中构造一个对象记为Ａ△Ａ（Ｈ，ｆ，Ｌ），使Ａ为＾Ｌ中的辫化Ｈｏｐｆ代数，我们称这过程为辫化Ｈｏｐｆ代数......