Oscar Cunningham (University of Oxford) |
Chris Heunen (University of Edinburgh) |

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. |

Published: 27th February 2018.

ArXived at: http://dx.doi.org/10.4204/EPTCS.266.20 | bibtex | |

Comments and questions to: eptcs@eptcs.org |

For website issues: webmaster@eptcs.org |