 Bimonoid

An object that is both a monoid object and a comonoid in a braided monoidal category, with $\Delta ,\epsilon$ preserving multiplication and unit. The product on its tensor square uses the ambient braiding.