[1805.12087] Quantum Field Theory in Categorical Quantum Mechanics