Purity through Factorisation

Understand

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.