-bimonoid

Let be a commutative ring. A -bimonoid is a bimonoid in , #m/def/ralg/hopf and thus at once a -monoid and -comonoid satisfying the compatibility conditions, which in Sweedler notation read

See also