Interacting Frobenius Algebras are Hopf.

Ross Duncan, Kevin Dunne

Browse the full LICS paper archive.