nLab Jamie Vicary

• website

Selected writings

On quantum measurement formulated in quantum information theory via dagger-compact categories in terms of Frobenius algebras:

• Bob Coecke, Duško Pavlović, Jamie Vicary, A new description of orthogonal bases, Mathematical Structures in Computer Science 23 3 (2012) 555- 567 [arXiv:0810.0812, doi:10.1017/S0960129512000047]

On quantum computation via quantum information theory in terms of dagger-compact categories:

• Jamie Vicary, The Topology of Quantum Algorithms, (LICS 2013) Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (2013) 93-102 $[$arXiv:1209.3917, doi:10.1109/LICS.2013.14$]$

On the online proof assistant Globular for higher dimensional rewriting via semistrict globular higher categories:

• Krzysztof Bar, Aleks Kissinger, Jamie Vicary, Globular: an online proof assistant for higher-dimensional rewriting, Logical Methods in Computer Science 14 1 (2018) [doi:10.23638/LMCS-14(1:8)20182018), arXiv:1612.01093]

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]

Related entries

• quantum information theory via dagger-compact categories

• classical structure

category: people