E-viri
PDF
Odprti dostop
-
Cunningham, Oscar; Heunen, Chris
Electronic proceedings in theoretical computer science, 02/2018, Letnik: 266, Številka: Proc. QPL 2017Journal Article, Conference Proceeding
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.
