Normalization for planar string diagrams and a quadratic equivalence algorithm

Antonin Delpeuch, Jamie Vicary

In the graphical calculus of planar string diagrams, equality is generated by exchange moves, which swap the heights of adjacent vertices. We show that left- and right-handed excha…