nLab Jamie Vicary

Selected writings

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:

category: people

Last revised on November 13, 2022 at 09:26:47. See the history of this page for a list of all contributions to it.