Interacting Hopf algebras

DOI10.1016/J.JPAA.2016.06.002zbMATH Open1345.68229arXiv1403.7048OpenAlexW1514879827MaRDI QIDQ308156FDOQ308156

Authors: Filippo Bonchi, Paweł Sobociński, Fabio Zanasi 

Publication date: 5 September 2016

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1403.7048

Recommendations

• Interacting Frobenius algebras are Hopf
• Hopf algebra coactions
• Hopf algebra actions
• scientific article; zbMATH DE number 1382573
• Actions of Hopf algebras
• Multiplier Hopf Algebras
• scientific article; zbMATH DE number 1782597
• Involutory Hopf Algebras
• Actions of Commutative Hopf Algebras

zbMATH Keywords

Frobenius algebraequational theoriesinteracting Hopf algebrasmonoid-comonoid pairsPROPspans and cospans of matrices

Mathematics Subject Classification ID

Bialgebras (16T10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Dagger compact closed categories and completely positive maps (extended abstract)
• Physics, Topology, Logic and Computation: A Rosetta Stone
• A survey of graphical languages for monoidal categories
• Title not available (Why is that?)
• Interacting quantum observables: categorical algebra and diagrammatics
• Title not available (Why is that?)
• Cartesian bicategories. I
• Categorical algebra
• Coherence for compact closed categories
• The formal theory of monads. II
• Distributive laws and factorization
• A tutorial on coinductive stream calculus and signal flow graphs
• Full abstraction for signal flow graphs
• Iterated distributive laws
• Title not available (Why is that?)
• A categorical semantics of signal flow graphs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Monoidal computer. I: Basic computability by string diagrams
• A categorical approach to open and interconnected dynamical systems
• Interacting Frobenius algebras are Hopf
• Rewriting modulo symmetric monoidal structure
• The algebra of directed acyclic graphs
• Diagrammatic reasoning for delay-insensitive asynchronous circuits
• The ZX-calculus is incomplete for quantum mechanics
• The ZX-calculus is complete for the single-qubit Clifford+T group
• On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs
• Interacting bialgebras are Frobenius
• A basic algebra of stateless connectors

Cited In (26)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A Larson-Sweedler theorem for Hopf \(\mathcal{V} \)-categories
• A topological perspective on interacting algebraic theories
• Quantum and braided ZX calculus
• Universal Properties in Quantum Theory
• String diagrammatic electrical circuit theory
• The calculus of signal flow diagrams. I: Linear relations on streams.
• Title not available (Why is that?)
• Decorated Corelations
• Props in Network Theory
• Bidirectional processes -- in category theory, physics, engineering, \dots
• Towards a compositional framework for convex analysis (with applications to probability theory)
• Light-Matter Interaction in the ZXW Calculus
• Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
• The \textsf{ZX}\&-calculus: a complete graphical calculus for classical circuits using spiders
• A combinatorial PROP for bialgebras
• Interacting bialgebras are Frobenius
• String diagram rewrite theory. I: Rewriting with Frobenius structure
• Interacting Frobenius algebras are Hopf
• A graphical calculus for Lagrangian relations
• A compositional framework for Petri nets
• Quantum invariants of framed links from ternary self-distributive cohomology
• Universal constructions for (co)relations: categories, monoidal categories, and props
• A compositional approach to parity games
• Refinement for signal flow graphs

This page was built for publication: Interacting Hopf algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q308156)