Coend Optics for Quantum Combs
arXiv:2205.09027 · doi:10.4204/EPTCS.380.4
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.
arXiv commentIn Proceedings ACT 2022, arXiv:2307.15519
References in corpus (16)
- Quantum computations without definite causal structure
- Theoretical framework for quantum networks
- Probabilistic theories with purification
- Quantum Circuits Architecture
- Transforming quantum operations: quantum supermaps
- Interacting Quantum Observables: Categorical Algebra and Diagrammatics
- A mathematical theory of resources
- Perfect discrimination of no-signalling channels via quantum superposition of causal structures
- Quantum Picturalism
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
- Semicausal operations are semilocalizable
- Pictures of complete positivity in arbitrary dimension
- Categorical Probabilistic Theories
- Open Diagrams via Coend Calculus
- Traced Monoidal Categories as Algebraic Structures in Prof
- Traced monoidal categories as algebraic structures in