Why did it take us 50 years since the birth of the quantum mechanical formalism to discover
that unknown quantum states cannot be cloned? Yet, the proof of the 'no-cloning theorem'is …

Monoidal category theory serves as a powerful framework for describing logical aspects of
quantum theory, giving an abstract language for parallel and sequential composition, and a …

A significant part of quantum theory can be obtained from a single innovation relative to
classical theories, namely, that there is a fundamental restriction on the sorts of statistical …

This paper has two tightly intertwined aims:(i) to introduce an intuitive and universal
graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies …

The ZX-calculus is a graphical calculus for reasoning about quantum systems and
processes. It is known to be universal for pure state qubit quantum mechanics (QM) …

Categorical quantum mechanics places finite-dimensional quantum theory in the context of
compact closed categories, with an emphasis on diagrammatic reasoning. In this framework …

The ZX-calculus is a universal graphical language for qubit quantum computation, meaning
that every linear map between qubits can be expressed in the ZX-calculus. Furthermore, it is …

In this chapter we survey some particular topics in category theory in a somewhat
unconventional manner. Our main focus will be on monoidal categories, mostly symmetric …

How would the world appear to us if its ontology was that of classical mechanics but every
agent faced a restriction on how much they could come to know about the classical state …

In this paper we consider theories in which reality is described by some underlying
variables, λ. Each value these variables can take represents an ontic state (a particular state …