Interacting Hopf algebras

DOI10.1016/j.jpaa.2016.06.002zbMath1345.68229arXiv1403.7048OpenAlexW1514879827MaRDI QIDQ308156

Paweł Sobociński, Fabio Zanasi, Filippo Bonchi

Publication date: 5 September 2016

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Related Items (19)

Quantum and braided ZX calculus* ⋮ String Diagram Rewrite Theory I: Rewriting with Frobenius Structure ⋮ A Topological Perspective on Interacting Algebraic Theories ⋮ Universal Properties in Quantum Theory ⋮ Bidirectional processes -- in category theory, physics, engineering, \dots ⋮ Light-Matter Interaction in the ZXW Calculus ⋮ A Larson-Sweedler theorem for Hopf \(\mathcal{V} \)-categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Decorated Corelations ⋮ Props in Network Theory ⋮ Universal Constructions for (Co)Relations: categories, monoidal categories, and props ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The calculus of signal flow diagrams. I: Linear relations on streams. ⋮ Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} ⋮ Quantum invariants of framed links from ternary self-distributive cohomology ⋮ Refinement for signal flow graphs

Cites Work

• Monoidal computer. I: Basic computability by string diagrams
• A basic algebra of stateless connectors
• Cartesian bicategories. I
• 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
• Dagger Compact Closed Categories and Completely Positive Maps
• Physics, Topology, Logic and Computation: A Rosetta Stone
• A Survey of Graphical Languages for Monoidal Categories
• Iterated distributive laws
• A Categorical Semantics of Signal Flow Graphs
• 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
• Interacting quantum observables: categorical algebra and diagrammatics
• On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
• Interacting Bialgebras Are Frobenius
• Categorical algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interacting Hopf algebras