2026-07-20T11:15:06Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:23952 2025-11-12T13:24:53Z ddc:004 open_access

Towards Categorical Quantum Concurrency Theory (Invited Talk) Heunen, Chris Quantum computing causality monoidal categories tensor topology Quantum computing inherently has concurrent aspects. Even with only local operations, qubits can influence each other. This ability leads to genuinely new quantum communication protocols, but also raises even thornier questions of causality than in classical concurrent computing. Monoidal categories and their string diagrams form a convenient and popular language for quantum computing. After an introduction to quantum concurrency, I will discuss the framework of tensor topology, which aims to analyse the interaction of several agents in monoidal categories, using notions from sheaf theory and ordered locales. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Chris Heunen 2025 Is Part Of LIPIcs, Volume 348, 36th International Conference on Concurrency Theory (CONCUR 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2025.2 urn:nbn:de:0030-drops-239527 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2025.2 eng https://creativecommons.org/licenses/by/4.0/legalcode