Hostname: page-component-8448b6f56d-c47g7 Total loading time: 0 Render date: 2024-04-24T04:41:16.244Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  05 May 2009

MASAHITO HASEGAWA  and
SHIN-YA KATSUMATA
MASAHITO HASEGAWA
Affiliation:
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
SHIN-YA KATSUMATA
Affiliation:
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
Get access Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Information
Mathematical Proceedings of the Cambridge Philosophical Society , Volume 148 , Issue 1 , January 2010 , pp. 107 - 109
Copyright
Copyright © Cambridge Philosophical Society 2009

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Blute, R. F., Cockett, J. R. B. and Seely, R. A. G.Feedback for linearly distributive categories: traces and fixpoints. J. Pure Appl. Algebra 154 (2000), 27–69.CrossRefGoogle Scholar
[2]Hasegawa, M., Hofmann, M. and Plotkin, G. D. Finite dimensional vector spaces are complete for traced symmetric monoidal categories. In Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Lecture Notes in Comput. Sci. vol. 4800 (Springer-Verlag, 2008), pp. 367–385.CrossRefGoogle Scholar
[3]Joyal, A. and Street, R.Braided tensor categories. Adv. Math. 102 (1993), 20–78.CrossRefGoogle Scholar
[4]Joyal, A., Street, R. and Verity, D.Traced monoidal categories. Math. Proc. Cam. Phil. Soc. 119 (1996), 447–468.CrossRefGoogle Scholar
[5]Shum, M.-C.Tortile tensor categories. J. Pure Appl. Algebra 93 (1994), 57–110.CrossRefGoogle Scholar