Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

Traced premonoidal categories

Nick BentonMartin Hyland — 2003

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

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.

Traced Premonoidal Categories

Nick BentonMartin Hyland — 2010

RAIRO - Theoretical Informatics and Applications

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.

Page 1

Download Results (CSV)