Motivated by some examples from functional programming, we propose ageneralization of the notion of trace to symmetric premonoidalcategories and of Conway operators to Freyd categories. We show thatin a Freyd category, these notions are equivalent, generalizing awell-known theorem relating traces and Conway operators in Cartesiancategories.