Bimonoid object

Bimonoid morphism

Given bimonoids 𝐵,𝐵′ in 𝖢, a morphism 𝑓 :𝐵 →𝐵′ is a bimonoid morphism iff it is both a monoid morphism and comonoid morphism of the underlying (co)monoids. #m/def/cat These form the morphisms in the 𝖡𝗂𝗆𝗈𝗇𝖢.

#state/tidy | #lang/en | #SemBr