1 citations · 1 across the 3 of their papers we have counts for
3 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.LO2024
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…
math.AC2006★ 1 cited
Simplicial cycles and the computation of simplicial trees
Massimo Caboara, Sara Faridi, Peter Selinger
We generalize the concept of a cycle from graphs to simplicial complexes. We show that a simplicial cycle is either a sequence of facets connected in the shape of a circle, or is a…