A diagrammatic calculus for categorical quantum protocols
From MaRDI portal
Publication:6401360
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)
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.
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)
