Chris Heunen
Urs Schreiber
Chris Heunen is EPSRC research fellow in computer science at Oxford.
On Bohr toposes:
On -algebras and Frobenius algebras:
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...