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