Back to Search
Start Over
Interacting Hopf Algebras
- Publication Year :
- 2014
-
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.
- Subjects :
- Computer Science - Logic in Computer Science
Mathematics - Category Theory
Subjects
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.1403.7048
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.1016/j.jpaa.2016.06.002