scientific article; zbMATH DE number 7649903

DOI10.4230/LIPIcs.CALCO.2019.20MaRDI QIDQ5875361

Paul W. Wilson, Fabio Zanasi, Paweł Sobociński

Publication date: 3 February 2023

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

symmetric monoidal categorystring diagramtoolgraphical reasoning

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (3)

DisCoPy: Monoidal Categories in Python ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• Quantomatic
• Globular

Cites Work

• Unnamed Item
• Unnamed Item
• The calculus of signal flow diagrams. I: Linear relations on streams.
• Petri nets are monoids
• The geometry of tensor calculus. I
• Causal inference by string diagram surgery
• Backtracking, interleaving, and terminating monad transformers
• Confluence of Graph Rewriting with Interfaces
• A Survey of Graphical Languages for Monoidal Categories
• Quantomatic: A Proof Assistant for Diagrammatic Reasoning
• A categorical approach to open and interconnected dynamical systems
• Rewriting modulo symmetric monoidal structure
• Open-graphs and monoidal theories
• Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks
• Rewriting with Frobenius
• The Logical Essentials of Bayesian Reasoning
• Categories in Control

This page was built for publication: