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 Mat_Z of integer matrices. See Episode 19.