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 …

Traditionally, quantum theory assumes the existence of a fixed background causal structure.
But if the laws of quantum mechanics are applied to the causal relations, then one could …

Quantum information theory is a branch of science at the frontier of physics, mathematics,
and information science, and offers a variety of solutions that are impossible using classical …

We provide conceptual and mathematical foundations for near-term quantum natural
language processing (QNLP), and do so in quantum computer scientist friendly terms. We …

We propose a mathematical framework for a unification of the distributional theory of
meaning in terms of vector space models, and a compositional theory for grammatical types …

In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it
became clear that underlying these diagrams is a powerful analogy between quantum …

CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its
main components are: a deeply embedded quantum programming language, in which …

The meeting between Natural Language Processing (NLP) and Quantum Computing has
been very successful in recent years, leading to the development of several approaches of …

We introduce DisCoPy, an open source toolbox for computing with monoidal categories. The
library provides an intuitive syntax for defining string diagrams and monoidal functors. Its …

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 …