Traced Premonoidal Categories
Nick Benton, Martin Hyland · RAIRO - Theoretical Informatics and Applications · 2003
Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in Cartesian categories.