On quantum measurement formulated in quantum information theory via dagger-compact categories in terms of Frobenius algebras:
On quantum computation via quantum information theory in terms of dagger-compact categories:
On the online proof assistant Globular for higher dimensional rewriting via semistrict globular higher categories:
On monoidal category-theory with an eye towards quantum information theory 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]
Last revised on November 13, 2022 at 09:26:47. See the history of this page for a list of all contributions to it.