Hopf monoid

Autonomous Hopf monoid

A Hopf monoid is called autonomous iff its antipous 𝜎 :H →H is invertible. #m/def/cat


#state/develop | #lang/en | #SemBr