1 paper · 1 filter
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…