Skip to main content

Traced monoidal categories

  • André Joyal (a1), Ross Street (a2) and Dominic Verity (a2)

Traced monoidal categories are introduced, a structure theorem is proved for them, and an example is provided where the structure theorem has application.

Hide All
[BÉ]Bloom, S. L. and Ésik, Z.. Iteration theories. EATCS Monographs on Theoretical Computer Science (Springer-Verlag, 1993).
[CJSV]Carboni, A., Johnson, S., Street, R. and Verity, D.. Modulated bicategories. J. Pure Appl. Algebra 94 (1994), 229282.
[FY1]Freyd, P. and Yetter, D.. Braided compact closed categories with applications to low dimensional topology. Advances in Math. 77 (1989). 156182.
[FY2]Freyd, P. and Yetter, D.. Coherence theorems via knot theory. J. Pure Appl. Algebra 78 (1992), 4976.
[G]Girard, J.-Y.. Geometry of interaction I, interpretation of system F. Stud. Logic, Found. Math. 127 (1989), 221260.
[JS1]Joyal, A. and Street, R.. Braided tensor categories. Advances in Math. 102 (1993), 2078.
[JS2]Joyal, A. and Street, R.. The geometry of tensor calculus I. Advances in Math. 88 (1991), 55113.
[JS3]Joyal, A. and Street, R.. Tortile Yang-Baxter operators in tensor categories. J. Pure Appl. Algebra 71 (1991), 4351.
[JS4]Joyal, A. and Street, R.. An introduction to Tannaka duality and quantum groups; in Category Theory. Proceedings, Como 1990; Part II of Lecture Notes in Math. 1488 (Springer-Verlag, 1991), 411492.
[JS5]Joyal, A. and Street, R.. The geometry of tensor calculus II (in preparation).
[K.L]Kelly, G. M. and Laplaza, M. L.. Coherence for compact closed categories. J. Pure Appl. Algebra 19 (1980), 193213.
[ML]Maclane, S.. Categories for the working mathematician (Springer-Verlag, 1971).
[RT]Reshetikhin, N. Yu. and Turaev, V. G.. Ribbon graphs and their invariants derived from quantum groups. Comm. Math. Phys. 127 (1) (1990), 126.
[SR]Rivano, N. Saavedra. Catégories Tannakiennes. Lecture Notes in Math. 265 (Springer-Verlag, 1972).
[Sm]Chee, Shum Mei. Tortile tensor categories (PhD thesis, Macquarie University, November 1989). J. Pure Appl. Algebra 93 (1994), 57110.
[Y]Yetter, D. N.. Markov algebras. Contemporary Math. 78 (1988), 705730.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Proceedings of the Cambridge Philosophical Society
  • ISSN: 0305-0041
  • EISSN: 1469-8064
  • URL: /core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed