nLab Chris Heunen

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

Selected writings

On Bohr toposes:

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 September 3, 2023 at 20:26:14. See the history of this page for a list of all contributions to it.