תורת הקטגוריות פותרת את הסיווג של אוטומטים תאיים קוונטיים: מזהה סימטריות שמשמרות את המקומיות של מערכות ספין קוונטיות עם חבורות Witt של קטגוריות היתוך קלועות, עונה על שאלה בסיסית בנוגע למבנה המידע הקוונטי.

תורת הקטגוריות פותרת את הסיווג של אוטומטים תאיים קוונטיים: מזהה סימטריות שמשמרות את המקומיות של מערכות ספין קוונטיות עם חבורות Witt של קטגוריות היתוך קלועות, עונה על שאלה בסיסית בנוגע למבנה המידע הקוונטי.