The theory of Hopf monoids

The theory H of Hopf monoids has five generators. It extends the theory of bimonoids with the antipode and equaitons that relate it with the adding and copying structures. See Episode 18.


H is isomorphic to the prop MatZ of integer matrices. See Episode 19.