53 citations · 128 across the 13 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
quant-ph2017★ 53 cited
A compositional approach to quantum functions
Benjamin Musto, David Reutter, Dominic Verdon
We introduce a notion of quantum function, and develop a compositional framework for finite quantum set theory based on a 2-category of quantum sets and quantum functions. We use t…
quant-ph2017★ 7 cited
Perfect tight quantum teleportation without a shared reference frame
Dominic Verdon, Jamie Vicary
We present a new scheme for teleporting a quantum state between two parties whose local reference frames are misaligned by the action of a finite symmetry group. Unlike other propo…
math.CT2017★ 3 cited
Coherence for braided and symmetric pseudomonoids
Dominic Verdon
Presentations for unbraided, braided and symmetric pseudomonoids are defined. Biequivalences characterising the semistrict bicategories generated by these presentations are proven.…