Open-graphs and monoidal theories (Q4917191)
From MaRDI portal
scientific article; zbMATH DE number 6159151
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Open-graphs and monoidal theories |
scientific article; zbMATH DE number 6159151 |
Statements
Open-graphs and monoidal theories (English)
0 references
29 April 2013
0 references
string diagrams
0 references
category of open-graphs
0 references
selective adhesive functor
0 references
adhesive category of typed graphs
0 references
double-pushout graph rewriting
0 references
free symmetric monoidal categories
0 references
PROPs
0 references
mechanised reasoning
0 references
0 references
