An Introduction to Process Theories and Categorical Quantum Mechanics

In recent years it has been fruitful to model the physical world in a categorical framework. In this talk I will give an outline of this process theoretic view with a particular focus on its applications to quantum mechanics and quantum computing. I will discuss how abstract categorical structure captures certain quantum protocols, such as teleportation, unearthing the topological nature of them, and how we can use algebraic structures internal to a category to develop a framework for circuit-based quantum computing in the form of the ZX-calculus.