Projects per year

## Abstract / Description of output

A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties which single it out, and the possibilities for alternative theories. Two formalisms which have been used in this context are operational theories, and categorical quantum mechanics. The aim of the present paper is to establish strong connections between these two formalisms. We show how models of categorical quantum mechanics have representations as operational theories. We then show how nonlocality can be formulated at this level of generality, and study a number of examples from this point of view, including Hilbert spaces, sets and relations, and stochastic maps. The local, quantum, and no-signalling models are characterized in these terms.

Original language | English |
---|---|

Title of host publication | Logic and Algebraic Structures in Quantum Computing |

Publisher | Cambridge University Press |

Number of pages | 37 |

ISBN (Print) | 9781107033399 |

Publication status | Published - Mar 2016 |

### Publication series

Name | Lecture Notes in Logic |
---|---|

Volume | 45 |

## Fingerprint

Dive into the research topics of 'Operational theories and Categorical quantum mechanics'. Together they form a unique fingerprint.## Projects

- 1 Finished