A diagrammatic calculus for categorical quantum protocols
From MaRDI portal
Publication:6401360
arXiv2206.03294MaRDI QIDQ6401360FDOQ6401360
Authors: Dusan Dordevic, Zoran Petrić, Mladen Zekić 
Publication date: 7 June 2022
Abstract: We propose an explicit realisation of a category with enough structure to check validity of certain class of quantum protocols. This category is based on the category of 1-dimensional cobordisms. A coherence result proves that it fulfils all desired conditions.
Quantum information, communication, networks (quantum-theoretic aspects) (81P45) Enriched categories (over closed or monoidal categories) (18D20) Cobordism in PL-topology (57Q20) Traced monoidal categories, compact closed categories, star-autonomous categories (18M10) Dagger categories, categorical quantum mechanics (18M40)
This page was built for publication: A diagrammatic calculus for categorical quantum protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6401360)
