The search session has expired. Please query the service again.
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.
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.
Download Results (CSV)