Coend Optics for Quantum Combs

DOI10.4204/EPTCS.380.4arXiv2205.09027OpenAlexW4385342863MaRDI QIDQ6150143FDOQ6150143

Authors: Cole Comfort 

Publication date: 5 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Abstract: We compare two possible ways of defining a category of 1-combs, the first intensionally as coend optics and the second extensionally as a quotient by the operational behaviour of 1-combs on lower-order maps. We show that there is a full and bijective on objects functor quotienting the intensional definition to the extensional one and give some sufficient conditions for this functor to be an isomorphism of categories. We also show how the constructions for 1-combs can be extended to produce polycategories of n-combs with similar results about when these polycategories are equivalent. The extensional definition is of particular interest in the study of quantum combs and we hope this work might produce further interest in the usage of optics for modelling these structures in quantum theory.

Full work available at URL: https://arxiv.org/abs/2205.09027

Recommendations

• Cornering Optics
• Bidirectional processes -- in category theory, physics, engineering, \dots
• A shortcut from categorical quantum theory to convex operational theories
• Dependent Optics
• Dagger compact closed categories and completely positive maps (extended abstract)

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Dagger compact closed categories and completely positive maps (extended abstract)
• Interacting quantum observables: categorical algebra and diagrammatics
• Pictures of complete positivity in arbitrary dimension
• A mathematical theory of resources
• Categories for Quantum Theory
• Theoretical framework for quantum networks
• Categorical probabilistic theories
• Doubles for monoidal categories
• Distributors on a tensor category
• A categorical semantics for causal structure
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Open diagrams via coend calculus

Cited In (1)

• Cornering Optics

This page was built for publication: Coend Optics for Quantum Combs

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