pith. machine review for the scientific record. sign in

arxiv: 1403.7048 · v4 · submitted 2014-03-27 · 💻 cs.LO · math.CT

Recognition: unknown

Interacting Hopf Algebras

Filippo Bonchi , Pawel Sobocinski , Fabio Zanasi
Authors on Pith no claims yet
classification 💻 cs.LO math.CT
keywords hopfalgebraalgebrasinteractingapproachaxiomscomposingconstruction
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi

    quant-ph 2026-05 unverdicted novelty 7.0

    Graphical Algebraic Geometry creates universal diagrammatic languages for commutative algebras and affine varieties that also characterize the qudit ZH calculus for quantum computation.