Categorical Quantum Dynamics