2 papers
math.CT2025
On Traces in Categories of Contractions
Aaron David Fairbanks, Peter Selinger
Traced monoidal categories are used to model processes that can feed their outputs back to their own inputs, abstracting iteration. The category of finite dimensional Hilbert space…
cs.LO2025
Proto-Quipper with Reversing and Control
Peng Fu, Kohei Kishida, Neil J. Ross +1
The quantum programming language Quipper supports circuit operations such as reversing and controlling certain quantum circuits. Additionally, Quipper provides a function called wi…