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