Exponential modalities and complementarity (extended abstract)

MaRDI QIDQ6153339zbMATH OpenFDO

Authors J. R. B. Cockett, Priyaa Varshinee Srinivasan

Publication date 13 February 2024

Full work available at URL https://arxiv.org/abs/2103.05191, https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.15

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Mixing categories and modal logics in the quantum setting
• Category-theoretic analysis of the notion of complementarity for quantum systems
• Complementarity in categorical quantum mechanics
• scientific article; zbMATH DE number 7471668
• Interacting quantum observables: categorical algebra and diagrammatics

Cites work

• ! and ? – Storage as tensorial strength
• A categorical framework for the quantum harmonic oscillator
• A new description of orthogonal bases
• Categories for Quantum Theory
• Dagger compact closed categories and completely positive maps (extended abstract)
• Finiteness spaces
• Idempotents in dagger categories (extended abstract)
• Interacting quantum observables: categorical algebra and diagrammatics
• Introduction to linear bicategories
• Introduction to quantum mechanics
• Linear logic
• Natural deduction and coherence for weakly distributive categories
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• The Chu construction: history of an idea
• The Frobenius relations meet linear distributivity
• Weakly distributive categories

This page was built for publication: Exponential modalities and complementarity (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6153339)