Interacting Hopf Algebras
Abstract
We introduce the theory IH of interacting Hopf algebras, parametrised over a principal ideal domain R. The axioms of IH are derived using Lack's approach to composing PROPs: they feature two Hopf algebra and two Frobenius algebra structures on four different monoid-comonoid pairs. This construction is instrumental in showing that IH is isomorphic to the PROP of linear relations (i.e. subspaces) over the field of fractions of R.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2014
- DOI:
- 10.48550/arXiv.1403.7048
- arXiv:
- arXiv:1403.7048
- Bibcode:
- 2014arXiv1403.7048B
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Mathematics - Category Theory
- E-Print:
- doi:10.1016/j.jpaa.2016.06.002