Enriching diagrams with algebraic operations

DOI10.1007/978-3-031-57228-9_7MaRDI QIDQ6629455

Henning Basold, Alfons W. Laarman, Alejandro Villoria

Publication date: 30 October 2024

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Monoidal bicategories and Hopf algebroids
• Hybrid quantum-classical circuit simplification with the ZX-calculus
• The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
• Dagger Compact Closed Categories and Completely Positive Maps
• A Survey of Graphical Languages for Monoidal Categories
• Convexity, Duality and Effects
• Tensor categorical foundations of algebraic geometry
• New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
• Tensor Products and Bimorphisms
• Interacting quantum observables: categorical algebra and diagrammatics
• Basic Category Theory
• Categories for Quantum Theory
• Categorical Semantics of Linear Logic for All
• Closed categories generated by commutative monads
• Affine Monads and Side-Effect-Freeness

This page was built for publication: Enriching diagrams with algebraic operations