*New Structures for Physics*. 2011*Picturing Quantum Processes*. 2017, with Aleks Kissinger

This volume provides a series of tutorials on mathematical structures which recently have gained prominence in physics,
ranging from quantum foundations, via quantum information, to quantum gravity.
These include the theory of monoidal categories and corresponding graphical calculi,
Girard’s linear logic, Scott domains, lambda calculus
and corresponding logics for typing, topos theory, and more general process structures.
Most of these structures are very prominent in computer science;
the chapters here are tailored towards an audience of physicists.

The unique features of the quantum world are explained in this book through the language of diagrams,
setting out an innovative visual method for presenting complex theories.
Requiring only basic mathematical literacy this book employs a unique formalism
that builds an intuitive understanding of quantum features while eliminating the need for complex calculations.
This entirely diagrammatic presentation of quantum theory represents the culmination of 10 years of research,
uniting classical techniques in linear algebra and Hilbert spaces with cutting-edge developments in quantum computation and foundations.

Written in an entertaining and user-friendly style and including more than 100 exercises, this book is an ideal first course in quantum theory, foundations, and computation for students from undergraduate to PhD level, as well as an opportunity for researchers from a broad range of fields, from physics to biology, linguistics, and cognitive science, to discover a new set of tools for studying processes and interaction.