Kompakta slutna kategorier ger en grundläggande formalism för en mängd viktiga domäner, inklusive kvantberäkning. Dessa kategorier har en naturlig visualisering som en form av grafer. Vi presenterar en formalism för ekvationellt resonemang om sådana grafer och utvecklar detta till ett generiskt bevissystem med en fast logisk kärna för resonemang om kompakta slutna kategorier. Ett framträdande inslag i vårt system är att det ger en formell och deklarativ redovisning av härledda resultat som kan inkludera "ellipses" stil notation. Vi illustrerar ramverket genom att direktimera det för ett grafiskt språk av kvantberäkning och visa hur detta kan användas för att utföra symbolisk beräkning.
I REF introducerade vi en formalism för resonemang om kategoriska modeller av kvantinformation.
Graphical reasoning in compact closed categories for quantum computation
{'venue': 'Annals of Mathematics and Artificial Intelligence', 'journal': 'Annals of Mathematics and Artificial Intelligence', 'mag_field_of_study': ['Computer Science', 'Mathematics']}