Towards 3-Dimensional Rewriting Theory (Q5417740)
From MaRDI portal
scientific article; zbMATH DE number 6297819
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards 3-Dimensional Rewriting Theory |
scientific article; zbMATH DE number 6297819 |
Statements
Towards 3-Dimensional Rewriting Theory (English)
0 references
22 May 2014
0 references
higher-dimensional rewriting system
0 references
polygraph
0 references
presentation
0 references
string diagram
0 references
compact 2-category
0 references
critical pair
0 references
unification
0 references
