Mathematical Proceedings of the Cambridge Philosophical Society

Research Article

A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories

MASAHITO HASEGAWAa1 and SHIN-YA KATSUMATAa1

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

Abstract

We illustrate a minor error in the biadjointness result for 2-categories of traced monoidal categories and tortile monoidal categories stated by Joyal, Street and Verity. We also show that the biadjointness holds after suitably changing the definition of 2-cells.

(Received January 16 2009)

(Revised February 25 2009)

(Online publication May 05 2009)