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):
David Reutter, Jamie Vicary, High-level methods for homotopy construction in associative -categories, LICS ‘19: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer ScienceJune 62 (2019) 1–13 [arXiv:1902.03831, doi:10.1109/LICS52264.2021.9470575]
Lukas Heidemann, David Reutter, Jamie Vicary, Zigzag normalisation for associative -categories, Proceedings of the Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) [arXiv:2205.08952, doi:10.1145/3531130.3533352]
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]
On weak -categories via computads construed as inductive types:
Last revised on February 7, 2024 at 07:34:34. See the history of this page for a list of all contributions to it.