Interacting Hopf algebras
From MaRDI portal
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 435565 (Why is no real title available?)
- scientific article; zbMATH DE number 2125662 (Why is no real title available?)
- scientific article; zbMATH DE number 3886024 (Why is no real title available?)
- scientific article; zbMATH DE number 3908609 (Why is no real title available?)
- scientific article; zbMATH DE number 3309240 (Why is no real title available?)
- A basic algebra of stateless connectors
- A categorical approach to open and interconnected dynamical systems
- A categorical semantics of signal flow graphs
- A survey of graphical languages for monoidal categories
- A tutorial on coinductive stream calculus and signal flow graphs
- Cartesian bicategories. I
- Categorical algebra
- Coherence for compact closed categories
- Dagger compact closed categories and completely positive maps (extended abstract)
- Diagrammatic reasoning for delay-insensitive asynchronous circuits
- Distributive laws and factorization
- Full abstraction for signal flow graphs
- Interacting Frobenius algebras are Hopf
- Interacting bialgebras are Frobenius
- Interacting quantum observables: categorical algebra and diagrammatics
- Iterated distributive laws
- Monoidal computer. I: Basic computability by string diagrams
- On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs
- Physics, Topology, Logic and Computation: A Rosetta Stone
- Rewriting modulo symmetric monoidal structure
- The ZX-calculus is complete for the single-qubit Clifford+T group
- The ZX-calculus is incomplete for quantum mechanics
- The algebra of directed acyclic graphs
- The formal theory of monads. II
Cited in
(26)- Refinement for signal flow graphs
- scientific article; zbMATH DE number 7559395 (Why is no real title available?)
- scientific article; zbMATH DE number 7561699 (Why is no real title available?)
- 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
- The calculus of signal flow diagrams. I: Linear relations on streams.
- String diagrammatic electrical circuit theory
- scientific article; zbMATH DE number 7453180 (Why is no real title available?)
- 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)
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
- Light-Matter Interaction in the ZXW Calculus
- The \textsf{ZX}\&-calculus: a complete graphical calculus for classical circuits using spiders
- Interacting bialgebras are Frobenius
- String diagram rewrite theory. I: Rewriting with Frobenius structure
- A combinatorial PROP for bialgebras
- Interacting Frobenius algebras are Hopf
- A graphical calculus for Lagrangian relations
- Quantum invariants of framed links from ternary self-distributive cohomology
- A compositional framework for Petri nets
- Universal constructions for (co)relations: categories, monoidal categories, and props
- A compositional approach to parity games
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)
