See also the ZX-calculus, a graphical calculus for reasoning about linear maps applied to qubits (read: quantum circuits) [1]. The ZX-calculus derives its struc

See also the ZX-calculus, a graphical calculus for reasoning about linear maps applied to qubits (read: quantum circuits) [1]. The ZX-calculus derives its structure from categorical quantum mechanics and has found major use in several areas of quantum information science. [1] https://arxiv.org/abs/2012.13966 https://arxiv.org/abs/2012.13966