113 citations · 1.3k across the 83 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.CT2020★ 2 cited
Tensor-restriction categories
C. Heunen, J. S. Pacaud Lemay
Restriction categories were established to handle maps that are partially defined with respect to composition. Tensor topology realises that monoidal categories have an intrinsic n…
quant-ph2020★ 11 cited
Weakly measured while loops: peeking at quantum states
Pablo Andrés-Martínez, Chris Heunen
A while loop tests a termination condition on every iteration. On a quantum computer, such measurements perturb the evolution of the algorithm. We define a while loop primitive usi…