量子群は、ホップ代数の最近の名称。であるなら、対蹠を落とした双代数は量子モノイドってことになる。コンピュータにとっては、群よりモノイドが自然な状況が多い。つまり、量子モノイド＝双代数によるモデルを考えるべきだろう。

メモ編にも書くべき事も山盛りあるんだけどなあ、、、 あー手が間に合わない。しかし、記録しないとドンドン忘却するし、、、うーむ。とりあえず、モノイド圏上に、3項または4項のhomを定義して、それで圏の集まり（indexed family of categories）みたいな…