Applied Categorical Structures

, Volume 11, Issue 3, pp 229–260 | Cite as

Dualizations and Antipodes

  • Brian Day
  • Paddy McCrudden
  • Ross Street


Because an exact pairing between an object and its dual is extraordinarily natural in the object, ideas of R. Street apply to yield a definition of dualization for a pseudomonoid in any autonomous monoidal bicategory as base; this is an improvement on Day and Street, Adv. in Math.129 (1997), Definition 11, p. 114. We analyse the dualization notion in depth. An example is the concept of autonomous (which, usually in the presence of a symmetry, also has been called “rigid” or “compact”) monoidal category. The antipode of a quasi-Hopf algebra H in the sense of Drinfeld is another example obtained using a different base monoidal bicategory. We define right autonomous monoidal functors and their higher-dimensional analogue. Our explanation of why the category Comod f (H) of finite-dimensional representations of H is autonomous is that the Comod f operation is autonomous and so preserves dualization.

monoidal bicategory enriched category bidual antipode quantum group quasi-Hopf algebra braided group comodule 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baez, J. and Dolan, J.: From finite sets to Feynman diagrams, in B. Engquist and W. Schmid (eds.), Mathematics Unlimited – 2001 and Beyond, Springer-Verlag, Berlin, 2001, pp. 29–50.Google Scholar
  2. 2.
    Bénabou, J.: Introduction to bicategories, in Lecture Notes in Mathematics 47, Springer, Berlin, 1967, pp. 1–77.Google Scholar
  3. 3.
    Day, B. J.: On closed categories of functors, in Lecture Notes in Mathematics 137, Springer, Berlin, 1970, pp. 1–38.Google Scholar
  4. 4.
    Day, B. J.: Note on compact closed categories, Australian Mathematical Society Journal Series A 24 (1977), 309–311.Google Scholar
  5. 5.
    Day, B. J. and Street, R.: Monoidal bicategories and Hopf algebroids, Advances in Mathematics 129 (1997), 99–157.Google Scholar
  6. 6.
    Drinfel'd, V. G.: Quasi-Hopf algebras, Algebra i Analiz 1(6) (1989), 114–148 (Russian); English transl. in Leningrad Math. J. 1(6) (1990), 1419–1457.Google Scholar
  7. 7.
    Dubuc, E.: Adjoint triangles, in Lecture Notes in Mathematics 61, Springer, Berlin, 1968, pp. 69–91.Google Scholar
  8. 8.
    Eilenberg, S. and Mac Lane, S.: Natural isomorphisms in group theory, Proceedings of the National Academy of Sciences of the U.S.A. 28 (1942), 537–543.Google Scholar
  9. 9.
    Eilenberg, S. and Mac Lane, S.: General theory of natural equivalences, Transactions of the American Mathematical Society 58 (1945), 231–294.Google Scholar
  10. 10.
    Eilenberg, S. and Kelly, G. M.: A generalization of the functorial calculus, Journal of Algebra 3 (1966), 366–375.Google Scholar
  11. 11.
    Eilenberg, S. and Kelly, G. M.: Closed categories, in Proceedings of the Conference on Categorical Algebra at La Jolla, Springer, 1966, pp. 421–562.Google Scholar
  12. 12.
    Gordon, R., Power, A. J. and Street, R.: Coherence for tricategories, Memoirs of the American Mathematical Society 117(558) (1995) (ISBN 0-8218-0344-1).Google Scholar
  13. 13.
    Gray, J. W.: Formal Category Theory: Adjointness for 2-Categories, Lecture Notes in Math. 391, Springer, Berlin, 1974.Google Scholar
  14. 14.
    Gray, J. W.: Coherence for the tensor product of 2-categories, and braid groups, in Algebra, Topology, and Category Theory (a collection of papers in honour of Samuel Eilenberg), Academic Press, New York, 1976, pp. 63–76.Google Scholar
  15. 15.
    Joyal, A. and Street, R.: The geometry of tensor calculus I, Advances in Mathematics 88 (1991), 55–112.Google Scholar
  16. 16.
    Joyal, A. and Street, R.: An introduction to Tannaka duality and quantum groups, in A. Carboni, M. C. Pedicchio and G. Rosolini (eds.), Category Theory, Proceedings, Como 1990, Lecture Notes in Math. 1488, Springer-Verlag, Berlin, 1991, pp. 411–492.Google Scholar
  17. 17.
    Joyal, A. and Street, R.: Braided tensor categories, Advances in Mathematics 102 (1993), 20–78.Google Scholar
  18. 18.
    Kelly, G. M.: Tensor products in categories, Journal of Algebra 2 (1965), 15–37.Google Scholar
  19. 19.
    Kelly, G. M. and Laplaza, M. L.: Coherence for compact closed categories, Journal of Pure and Applied Algebra 19 (1980), 193–213.Google Scholar
  20. 20.
    Kelly, G. M. and Street, R.: Review of the elements of 2-categories, in Lecture Notes in Mathematics 420, Springer, Berlin, 1974, pp. 75–103.Google Scholar
  21. 21.
    Mac Lane, S.: Categories for the Working Mathematician, Graduate Texts in Math. 5, Springer-Verlag, 1971.Google Scholar
  22. 22.
    Majid, S.: Foundations of Quantum Group Theory, Cambridge Univ. Press, Cambridge, 1995. x+607 pp. ISBN: 0-521-46032-8.Google Scholar
  23. 23.
    McCrudden, P.: Categories of Representations of Balanced Coalgebroids, Ph.D. Thesis, Macquarie University, 22 February 1999.Google Scholar
  24. 24.
    McCrudden, P.: Balanced coalgebroids, Theory and Applications of Categories 7 (2000), 71–147.Google Scholar
  25. 25.
    McCrudden, P.: Categories of representations of coalgebroids, Advances in Mathematics 154 (2000), 299–332.Google Scholar
  26. 26.
    McCrudden, P.: Tannaka duality for Maschkean categories, in Proceedings of the Category Theory Conference in Coimbra (July 1999), Journal of Pure and Applied Algebra 168 (2002), 265–307.Google Scholar
  27. 27.
    McIntyre, M. and Trimble, T.: The geometry of Gray monoids, Preprint.Google Scholar
  28. 28.
    Street, R.: Cauchy characterization of enriched categories, Rendiconti del Seminario Matematico di Milano 51 (1981), 217–233.Google Scholar
  29. 29.
    Street, R.: Enriched categories and cohomology, Quaestiones Mathematicae 6 (1983), 265–283.Google Scholar
  30. 30.
    Street, R.: Quantum groups: an entrée to modern algebra, available at Scholar
  31. 31.
    Street, R.: Functorial calculus in monoidal bicategorial, Applied Categorical Structures 11 (2003), 219–227.Google Scholar
  32. 32.
    Street, R. and Verity, D.: Low-dimensional topology and higher-order categories, in Proceedings of CT95, Halifax, July 9–15, 1995, Scholar

Copyright information

© Kluwer Academic Publishers 2003

Authors and Affiliations

  • Brian Day
    • 1
  • Paddy McCrudden
    • 1
  • Ross Street
    • 1
  1. 1.Centre of Australian Category TheoryMacquarie UniversityAustralia

Personalised recommendations