Effectuses in Categorical Quantum Foundations
arXiv:1910.12198
Abstract
This thesis develops the theory of effectuses as a categorical axiomatic approach to quantum theory. It provides a comprehensive introduction to effectus theory and reveals its connections with various other topics and approaches.
arXiv commentPhD thesis, Radboud University (2019)
References in corpus (30)
- Informational derivation of Quantum Theory
- Probabilistic theories with purification
- Fundamentals of Quantum Information Theory
- Disintegration and Bayesian Inversion via String Diagrams
- Translation of Lueders' "Uber die Zustandsanderung durch den Messprozess"
- Causal categories: relativistically interacting processes
- Relating coalgebraic notions of bisimulation
- Denotational validation of higher-order Bayesian inference
- Quantum Logic in Dagger Kernel Categories
- Pictures of complete positivity in arbitrary dimension
- Commutative monads as a theory of distributions
- Being Van Kampen is a universal property
- Convex Spaces I: Definition and Examples
- A Recipe for State-and-Effect Triangles
- The Expectation Monad in Quantum Foundations
- Infinite-dimensional Categorical Quantum Mechanics
- Non-classical correlations in quantum mechanics and beyond
- Positive Maps Which Are Not Completely Positive
- Quotient-Comprehension Chains
- Ordered linear spaces and categories as frameworks for information-processing characterizations of quantum and classical theory
- Von Neumann Algebras form a Model for the Quantum Lambda Calculus
- A universal property for sequential measurement
- The Category of Von Neumann Algebras
- Dagger and Dilation in the Category of Von Neumann algebras
- Operational Theories of Physics as Categories
- Categorical Operational Physics
- Distances between States and between Predicates
- Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
- Towards a Categorical Account of Conditional Probability
- Categories of Quantum and Classical Channels (extended abstract)