nLab Chris Heunen

Chris Heunen is EPSRC research fellow in computer science at Oxford.

Selected writings

On Bohr toposes:

On H * H^\ast -algebras and Frobenius algebras:

  • Samson Abramsky, Chris Heunen: H *H^\ast-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics, in Clifford Lectures, AMS Proceedings of Symposia in Applied Mathematics 71 (2012) 1–24 [arXiv:1011.6123]

On monads on dagger categories with an eye towards quantum measurement expressed in finite quantum mechanics in terms of dagger-compact categories:

On the category of matroids with strong maps between them:

On limits in dagger categories:

On monoidal category-theory with an eye towards finite quantum mechanics in terms of dagger-compact categories and quantum computation:

Generalization to Hilbert bundles:

On Bohr toposes:

On an axiomatic characterization of the compact closed dagger category? Hilb of Hilbert spaces:

category: people

Last revised on May 3, 2026 at 14:18:42. See the history of this page for a list of all contributions to it.