Classical and quantum structuralism
From MaRDI portal
Abstract: In recent work, symmetric dagger-monoidal (SDM) categories have emerged as a convenient categorical formalization of quantum mechanics. The objects represent physical systems, the morphisms physical operations, whereas the tensors describe composite systems. Classical data turn out to correspond to Frobenius algebras with some additional properties. They express the distinguishing capabilities of classical data: in contrast with quantum data, classical data can be copied and deleted. The algebraic approach thus shifts the paradigm of "quantization" of a classical theory to "classicization" of a quantum theory. Remarkably, the simple SDM framework suffices not only for this conceptual shift, but even allows us to distinguish the deterministic classical operations (i.e. functions) from the nondeterministic classical operations (i.e. relations), and the probabilistic classical operations (stochastic maps). Moreover, a combination of some basic categorical constructions (due to Kleisli, resp. Grothendieck) with the categorical presentations of quantum states, provides a resource sensitive account of various quantum-classical interactions: of classical control of quantum data, of classical data arising from quantum measurements, as well as of the classical data processing in-between controls and measurements. A salient feature here is the graphical calculus for categorical quantum mechanics, which allows a purely diagrammatic representation of classical-quantum interaction.
Recommendations
Cited in
(38)- Generalized relations in linguistics \& cognition
- Complementarity in categorical quantum mechanics
- Relative Frobenius algebras are groupoids
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
- How device-independent approaches change the meaning of physical theory
- Bicategorical semantics for nondeterministic computation
- Toy quantum categories (extended abstract)
- Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
- Graphical calculus for quantum key distribution (extended abstract)
- Categorical quantum mechanics. II: Classical-quantum interaction
- Physical traces: quantum vs. classical information processing
- Corelations are the prop for extraspecial commutative Frobenius monoids
- scientific article; zbMATH DE number 6496893 (Why is no real title available?)
- Pictures of complete positivity in arbitrary dimension
- Double dilation double mixing (extended abstract)
- Ontic structural realism and the interpretation of quantum mechanics
- Symmetry, compact closure and dagger compactness for categories of convex operational models
- Quantum and Classical Structures in Nondeterminstic Computation
- Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
- Picturing classical and quantum Bayesian inference
- Monoidal computer. I: Basic computability by string diagrams
- Infinite-dimensional categorical quantum mechanics
- (Modular) effect algebras are equivalent to (Frobenius) antispecial algebras
- A bestiary of sets and relations
- Interacting quantum observables: categorical algebra and diagrammatics
- Categories of quantum and classical channels
- Categories for Quantum Theory
- Classical structures based on unitaries
- Bases in diagrammatic quantum protocols
- Quantum measurements without sums
- Reversible monadic computing
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations
- From quantum foundations via natural language meaning to a theory of everything
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
- The quantum monadology
- Quantum linear optics via string diagrams
- Constructor theory as process theory
- Functorial semantics for relational theories
This page was built for publication: Classical and quantum structuralism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3560837)
