Abstract:String diagrams are a powerful and intuitive graphical syntax, originating in theoretical physics and later formalised in the context of symmetric monoidal categories. In recent years, they have found application in the modelling of various computational structures, in fields as diverse as Computer Science, Physics, Control Theory, Linguistics, and Biology. In several of these proposals, transformations of systems are modelled as rewrite rules of diagrams. These developments require a mathematical foundation for string diagram rewriting: whereas rewrite theory for terms is well-understood, the two-dimensional nature of string diagrams poses quite a few additional challenges. This work systematises and expands a series of recent conference papers, laying down such a foundation. As a first step, we focus on the case of rewrite systems for string diagrammatic theories that feature a Frobenius algebra. This common structure provides a more permissive notion of composition than the usual one available in monoidal categories, and has found many applications in areas such as concurrency, quantum theory, and electrical circuits. Notably, this structure provides an exact correspondence between the syntactic notion of string diagrams modulo Frobenius structure and the combinatorial structure of hypergraphs. Our work introduces a combinatorial interpretation of string diagram rewriting modulo Frobenius structures in terms of double-pushout hypergraph rewriting. We prove this interpretation to be sound and complete and we also show that the approach can be generalised to rewriting modulo multiple Frobenius structures. As a proof of concept, we show how to derive from these results a termination strategy for Interacting Bialgebras, an important rewrite theory in the study of quantum circuits and signal flow graphs.

Polygraphs: From Rewriting to Higher Categories

Rewriting Graphically with Symmetric Traced Monoidal Categories

Rewriting modulo isotopies in pivotal linear $(2,2)$-categories

Structures on Categories of Polynomials

Cohomology of Digraphs and (undirected) Graphs

Polynomials in homotopy type theory as a Kleisli category

Confluence of algebraic rewriting systems

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure

Odd Khovanov homology, higher representation theory and higher rewriting theory

Combinatorics of higher-categorical diagrams

Polygroup objects in regular categories

Higher coherence and a generalization of higher categorified algebraic structures

Higher-dimensional subdiagram matching

Monoidal Structures on Generalized Polynomial Categories

Interacting Monoidal Structures with Applications in Computing

Rewriting techniques for relative coherence

Homologie polygraphique des systèmes locaux

Posetal Diagrams for Logically-Structured Semistrict Higher Categories

Equivalences in diagrammatic sets

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure

Manifold Diagrams for Higher Categories