75 citations · 544 across the 41 of their papers we have counts for
5 papers · 1 filter
Globular: an online proof assistant for higher-dimensional rewriting
Krzysztof Bar, Aleks Kissinger, Jamie Vicary
This article introduces Globular, an online proof assistant for the formalization and verification of proofs in higher-dimensional category theory. The tool produces graphical visu…
Data structures for quasistrict higher categories
Krzysztof Bar, Jamie Vicary
We present new data structures for quasistrict higher categories, in which associativity and unit laws hold strictly. Our approach has low axiomatic complexity compared to traditio…
Biunitary constructions in quantum information
David J. Reutter, Jamie Vicary
We present an infinite number of construction schemes involving unitary error bases, Hadamard matrices, quantum Latin squares and controlled families, many of which have not previo…
Tight Reference Frame--Independent Quantum Teleportation
Dominic Verdon, Jamie Vicary
We give a tight scheme for teleporting a quantum state between two parties whose reference frames are misaligned by an action of a finite symmetry group. Unlike previously proposed…
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
Lawrence Dunn, Jamie Vicary
We prove coherence theorems for Frobenius pseudomonoids and snakeorators in monoidal bicategories. As a consequence we obtain a 3d notation for proofs in nonsymmetric multiplicativ…