Pattern graph rewrite systems

Aleks Kissinger, Alex Merry, Matvey Soloviev

String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger in…