The ZX calculus is a language for surface code lattice surgery
Interacting Quantum Observables: Categorical Algebra and Diagrammatics