84 citations · 194 across the 5 of their papers we have counts for
3 papers · 1 filter
Completely positive classical structures and sequentializable quantum protocols
Chris Heunen, Sergio Boixo
We study classical structures in various categories of completely positive morphisms: on sets and relations, on cobordisms, on a free dagger compact category, and on Hilbert spaces…
Intuitionistic quantum logic of an n-level system
Martijn Caspers, Chris Heunen, Nicolaas P. Landsman +1
A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathemat…
A topos for algebraic quantum theory
Chris Heunen, Nicolaas P. Landsman, Bas Spitters
The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr's idea th…