String Diagram Rewriting Modulo Commutative Monoid Structure

04/08/2022
by   Aleksandar Milosavljevic, et al.
0

We characterise freely generated props with a chosen commutative monoid structure as certain categories of hypergraphs with interfaces. We use this result to give a sound and complete interpretation of rewriting modulo commutative monoid equations in a prop in terms of double-pushout rewriting of hypergraphs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/13/2021

String Diagram Rewrite Theory III: Confluence with and without Frobenius

In this paper we address the problem of proving confluence for string di...
research
12/03/2020

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure

String diagrams are a powerful and intuitive graphical syntax, originate...
research
10/11/2017

Universal Constructions for (Co)Relations: categories, monoidal categories, and props

Calculi of string diagrams are increasingly used to present the syntax a...
research
07/23/2019

The word problem for double categories

We solve the word problem for double categories by translating it to the...
research
11/20/2018

Causal Inference by String Diagram Surgery

Extracting causal relationships from observed correlations is a growing ...
research
11/18/2019

Minimum-Width Double-Strip and Parallelogram Annulus

In this paper, we study the problem of computing a minimum-width double-...
research
10/12/2018

The rational fragment of the ZX-calculus

We introduce here a new axiomatisation of the rational fragment of the Z...

Please sign up or login with your details

Forgot password? Click here to reset