nLab Chris Heunen

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

• website

Selected writings

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

• Chris Heunen, Martti Karvonen, Monads on dagger categories, Theory and Applications of Categories 31 35 (2016) 1016-1043 [arXiv:1602.04324, TAC:31-35]

On the category of matroids with strong maps between them:

• Chris Heunen, Vaia Patta, The category of matroids, Applied Categorical Structures 26 (2018) 205–237 [arXiv:1512.01390, doi:10.1007/s10485-017-9490-2]

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

• Chris Heunen, Jamie Vicary, Categories for Quantum Theory, Oxford University Press 2019 (ISBN:9780198739616)

  based on:

  Chris Heunen, Jamie Vicary, Lectures on categorical quantum mechanics (2012) [pdf, pdf]

Generalization to Hilbert bundles:

• Chris Heunen, Manuel L. Reyes?, Frobenius Structures Over Hilbert $C^\ast$-Modules, Commun. Math. Phys. 361 (2018) 787–824 [doi:10.1007/s00220-018-3166-0, arXiv:1704.05725]

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

• Chris Heunen, Andre Kornell, Axioms for the category of Hilbert spaces, PNAS 119 9 (2022) e2117024119 [arXiv:2109.07418, doi:10.1073/pnas.2117024119]

• Chris Heunen, Andre Kornell, Nesta van der Schaaf, Axioms for the category of Hilbert spaces and linear contractions [arXiv:2211.02688]

Related $n$Lab entries

• quantum logic

• quantum operation

• finite quantum mechanics in terms of dagger-compact categories

• classical structure

category: people