Interacting Bialgebras Are Frobenius

DOI10.1007/978-3-642-54830-7_23zbMath1395.18009OpenAlexW2217535991MaRDI QIDQ5410683

Paweł Sobociński, Filippo Bonchi, Fabio Zanasi

Publication date: 16 April 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54830-7_23

Mathematics Subject Classification ID

Related Items (13)

Interacting Hopf algebras ⋮ Quantomatic: A Proof Assistant for Diagrammatic Reasoning ⋮ String Diagram Rewrite Theory I: Rewriting with Frobenius Structure ⋮ Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics ⋮ A Topological Perspective on Interacting Algebraic Theories ⋮ A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras ⋮ Towards compositional graph theory ⋮ The algebra of partial equivalence relations ⋮ Lawvere Categories as Composed PROPs ⋮ Universal Constructions for (Co)Relations: categories, monoidal categories, and props ⋮ 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} ⋮ Refinement for signal flow graphs

This page was built for publication: Interacting Bialgebras Are Frobenius