Normal forms for planar connected string diagrams

## Authors: Antonin Delpeuch and Jamie Vicary

## Paper Information

Title: | Normal forms for planar connected string diagrams |

Authors: | Antonin Delpeuch and Jamie Vicary |

Proceedings: | HDRA Abstracts |

Editors: | Samuel Mimram, Yves Guiraud and Philippe Malbos |

Keywords: | string diagram, normal forms, rewriting, monoidal categories, isotopy |

Abstract: | ABSTRACT. In the graphical calculus of planar string diagrams, equality is generated by the left and right exchange moves, which swaps the heights of adjacent vertices. We show that for connected diagrams the left- and right-handed exchanges each give strongly normalizing rewrite strategies. We show that these strategies terminate in O(n^3) steps where n is the number of vertices. We also give an algorithm to directly construct the normal form, and hence determine isotopy, in O(n∙m) time, where m is the number of edges. |

Pages: | 19 |

Talk: | Jul 07 17:30 (Session 31D) |

Paper: |