Category theory resolves the classification of quantum cellular automata: identifies locality-preserving symmetries of quantum spin systems with Witt groups of braided fusion categories, answering a fundamental question on quantum information structure.
