双代数
数学において，体 上の双代数（そうだいすう，）とは， 上のベクトル空間であって，単位的結合代数かつ余代数であるようなものである．代数構造と余代数構造はさらなる公理によって整合性を持つ．具体的には，余積と余単位はともに単位的代数の準同型である，あるいは同じことであるが，代数の積と単位射はともに余代数の準同型である．（これらのステートメントは同じ可換図式によって表されるから同値である．）
類似している双代数は双代数準同型によって関連付けられる．双代数の準同型は代数と余代数両方の準同型であるような線型写像である．
可換図式の対称性に反映されているように，双代数の定義は自己双対であり，したがって， の双対を定義できるならば（ が有限次元ならいつでも可能である），自動的に双代数になる．