Categorical Quantum Mechanics II: Classical-Quantum Interaction

Understand

This is the second part of a three-part overview, in which we derive the category-theoretic backbone of quantum theory from a process ontology, treating quantum theory as a theory of systems, processes and their interactions.

• In this part we focus on classical-quantum interaction.
• Classical and quantum systems are treated as distinct types, of which the respective behavioural properties are specified in terms of processes and their compositions.
• In particular, classicality is witnessed by 'spiders' which fuse together whenever they connect.