Purity through factorisation

Oscar Cunningham, Chris Heunen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationProceedings 14th International Conference on Quantum Physics and Logic
Subtitle of host publicationNijmegen, The Netherlands, 3-7 July 2017
PublisherOpen Publishing Association
Pages315-328
Number of pages14
DOIs
Publication statusPublished - 27 Feb 2018
Event14th International Conference on Quantum Physics and Logic - Nijmegen, Netherlands
Duration: 3 Jul 20177 Jul 2017
http://qpl.science.ru.nl/

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association
Volume266
ISSN (Electronic)2075-2180

Conference

Conference14th International Conference on Quantum Physics and Logic
Abbreviated titleQPL 2017
CountryNetherlands
CityNijmegen
Period3/07/177/07/17
Internet address

Keywords

  • quant-ph

Fingerprint Dive into the research topics of 'Purity through factorisation'. Together they form a unique fingerprint.

Cite this