Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing

Understand

This work is about diagrammatic languages, how they can be represented, and what they in turn can be used to represent.

• More specifically, it focuses on representations and applications of string diagrams.
• String diagrams are used to represent a collection of processes, depicted as "boxes" with multiple (typed) inputs and outputs, depicted as "wires".
• If we allow plugging input and output wires together, we can intuitively represent complex compositions of processes, formalised as morphisms in a monoidal category.