Dialogue Categories and Frobenius Monoids

DOI10.1007/978-3-642-38164-5_15zbMath1264.18008OpenAlexW61931058MaRDI QIDQ4922083

Paul-André Melliès

Publication date: 28 May 2013

Published in: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38164-5_15

Mathematics Subject Classification ID

Quantum groups and related algebraic methods applied to problems in quantum theory (81R50) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Braided tensor categories
• Tortile tensor categories
• Nuclear and trace ideals in tensored \(^*\)-categories
• H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
• Game Semantics in String Diagrams
• Game theoretic analysis of call-by-value computation
• Frobenius monads and pseudomonoids

This page was built for publication: Dialogue Categories and Frobenius Monoids