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 (associative n-categories):

On associative n-categories and their formalization in proof assistants (cf.: Globular, homotopy.io):

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

On weak ω \omega -categories via computads construed as inductive types:

category: people

Last revised on February 7, 2024 at 07:34:34. See the history of this page for a list of all contributions to it.