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 …

Many fields of science investigate states and processes as resources. Chemistry,
thermodynamics, Shannon's theory of communication channels, and the theory of quantum …

String diagrams turn algebraic equations into topological moves that have recurring shapes,
involving the sliding of one diagram past another. We individuate, at the root of this fact, the …

We introduce a notion of quantum function and develop a compositional framework for finite
quantum set theory based on a 2-category of quantum sets and quantum functions. We use …

Originally inspired by categorical quantum mechanics (Abramsky and Coecke, LiCS'04), the
categorical compositional distributional model of natural language meaning of Coecke …

This thesis introduces quantum natural language processing (QNLP) models based on a
simple yet powerful analogy between computational linguistics and quantum mechanics …

Effectuses have recently been introduced as categorical models for quantum computation,
with probabilistic and Boolean (classical) computation as special cases. These …

Effectus theory is a new branch of categorical logic that aims to capture the essentials of
quantum logic, with probabilistic and Boolean logic as special cases. Predicates in effectus …

We argue that the quantum-theoretical structures studied in several recent lines of research
cannot be adequately described within the standard framework of quantum circuits. This is in …

We present a simple categorical framework for the treatment of probabilistic theories, with
the aim of reconciling the fields of Categorical Quantum Mechanics (CQM) and Operational …