Mathematical Structures in Computer Science

Paper

On traced monoidal closed categories

MASAHITO HASEGAWAa1

a1 Research Institute for Mathematical Sciences, Kyoto University, Kyoto 606-8502, Japan Email: hassei@kurims.kyoto-u.ac.jp

Abstract

The structure theorem of Joyal, Street and Verity says that every traced monoidal category arises as a monoidal full subcategory of the tortile monoidal category Int . In this paper we focus on a simple observation that a traced monoidal category is closed if and only if the canonical inclusion from into Int has a right adjoint. Thus, every traced monoidal closed category arises as a monoidal co-reflexive full subcategory of a tortile monoidal category. From this, we derive a series of facts for traced models of linear logic, and some for models of fixed-point computation. To make the paper more self-contained, we also include various background results for traced monoidal categories.

(Received November 28 2007)

(Revised May 16 2008)