We introduce the theory IHRof interacting Hopf algebras, parametrised over a principal ideal domain R. The axioms of IHRare 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 IHRis isomorphic to the PROP of linear relations (i.e. subspaces) over the field of fractions of R.

Interacting Hopf algebras

Bonchi, Filippo;
2017-01-01

Abstract

We introduce the theory IHRof interacting Hopf algebras, parametrised over a principal ideal domain R. The axioms of IHRare 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 IHRis isomorphic to the PROP of linear relations (i.e. subspaces) over the field of fractions of R.
2017
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/907648
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 48
  • ???jsp.display-item.citation.isi??? 24
social impact