Interacting Hopf Algebras — Filippo Bonchi, Pawel Sobocinski & Fabio Zanasi (2014). arXiv:1403.7048 (v4, PDF).
Introduces the theory IH of interacting Hopf algebras over a principal ideal domain — two Hopf algebra and two Frobenius algebra structures — and proves that it presents the PROP of linear relations over the field of fractions.
Sources: the paper, arXiv:1403.7048v4, checked against the arXiv listing. Index: Papers.
Key definitions and results
- IH is isomorphic to the PROP of linear relations
Concept notes
Graphical Linear Algebra, Gaussian Relations, Frobenius Monoid