On traces in categories of contractions

Traced monoidal categories model processes that can feed their outputs back to their own inputs, abstracting iteration. The category of finite-dimensional Hilbert spaces with the direct sum tensor is not traced. But surprisingly, in 2014, Bartha showed that the monoidal subcategory of isometries is traced. The same holds for coisometries, unitary maps, and contractions. This suggests the possibility of feeding outputs of quantum processes back to their own inputs, analogous to iteration. In this paper, we show that Bartha’s result is not specifically tied to Hilbert spaces, but works in any dagger additive category with Moore–Penrose pseudoinverses (a natural dagger-categorical generalization of inverses).