“…String diagrams provide an intuitive language for quantum processes [16,17,18,19,20] and are implicitly employed in quantum software packages such as tket [21], PyZX [22], lambeq [23], DisCoPy [24], Quanhoven [25]. On the one hand, Coecke and Duncan [26] introduced the ZX calculus, a graphical language for reasoning about qubit quantum computing, with applications in circuit-based [27], measurement-based [28], and fault tolerant [29] quantum computing.…”