Purity through Factorisation

Abstract

We give a construction that identifies the collection of pure processes (i.e. those which are deterministic, or without randomness) within a theory containing both pure and mixed processes. Working in the framework of symmetric monoidal categories, we define a pure subcategory. This definition arises elegantly from the categorical notion of a weak factorisation system. Our construction gives the expected result in several examples, both quantum and classical.

In Proceedings QPL 2017, arXiv:1802.09737

References in corpus (2)

• Dilation of states and processes in operational-probabilistic theories
• Leaks: quantum, classical, intermediate, and more

Cited by in corpus (6)

• An effect-theoretic reconstruction of quantum theory
• Universal Properties in Quantum Theory
• Categories of Empirical Models
• Categorical composable cryptography
• Pure Maps between Euclidean Jordan Algebras
• Deriving Dagger Compactness