Abstract
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.
Similar content being viewed by others
References
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.
Bénabou, J.: Introduction to bicategories, in Lecture Notes in Mathematics 47, Springer, Berlin, 1967, pp. 1–77.
Day, B. J.: On closed categories of functors, in Lecture Notes in Mathematics 137, Springer, Berlin, 1970, pp. 1–38.
Day, B. J.: Note on compact closed categories, Australian Mathematical Society Journal Series A 24 (1977), 309–311.
Day, B. J. and Street, R.: Monoidal bicategories and Hopf algebroids, Advances in Mathematics 129 (1997), 99–157.
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.
Dubuc, E.: Adjoint triangles, in Lecture Notes in Mathematics 61, Springer, Berlin, 1968, pp. 69–91.
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.
Eilenberg, S. and Mac Lane, S.: General theory of natural equivalences, Transactions of the American Mathematical Society 58 (1945), 231–294.
Eilenberg, S. and Kelly, G. M.: A generalization of the functorial calculus, Journal of Algebra 3 (1966), 366–375.
Eilenberg, S. and Kelly, G. M.: Closed categories, in Proceedings of the Conference on Categorical Algebra at La Jolla, Springer, 1966, pp. 421–562.
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).
Gray, J. W.: Formal Category Theory: Adjointness for 2-Categories, Lecture Notes in Math. 391, Springer, Berlin, 1974.
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.
Joyal, A. and Street, R.: The geometry of tensor calculus I, Advances in Mathematics 88 (1991), 55–112.
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.
Joyal, A. and Street, R.: Braided tensor categories, Advances in Mathematics 102 (1993), 20–78.
Kelly, G. M.: Tensor products in categories, Journal of Algebra 2 (1965), 15–37.
Kelly, G. M. and Laplaza, M. L.: Coherence for compact closed categories, Journal of Pure and Applied Algebra 19 (1980), 193–213.
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.
Mac Lane, S.: Categories for the Working Mathematician, Graduate Texts in Math. 5, Springer-Verlag, 1971.
Majid, S.: Foundations of Quantum Group Theory, Cambridge Univ. Press, Cambridge, 1995. x+607 pp. ISBN: 0-521-46032-8.
McCrudden, P.: Categories of Representations of Balanced Coalgebroids, Ph.D. Thesis, Macquarie University, 22 February 1999.
McCrudden, P.: Balanced coalgebroids, Theory and Applications of Categories 7 (2000), 71–147.
McCrudden, P.: Categories of representations of coalgebroids, Advances in Mathematics 154 (2000), 299–332.
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.
McIntyre, M. and Trimble, T.: The geometry of Gray monoids, Preprint.
Street, R.: Cauchy characterization of enriched categories, Rendiconti del Seminario Matematico di Milano 51 (1981), 217–233.
Street, R.: Enriched categories and cohomology, Quaestiones Mathematicae 6 (1983), 265–283.
Street, R.: Quantum groups: an entrée to modern algebra, available at http://www.texdev.mpce.mq.edu.au/Quantum/Quantum.html.
Street, R.: Functorial calculus in monoidal bicategorial, Applied Categorical Structures 11 (2003), 219–227.
Street, R. and Verity, D.: Low-dimensional topology and higher-order categories, in Proceedings of CT95, Halifax, July 9–15, 1995, http://www.maths.mq.edu.au/~street/LowDTop.pdf.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Day, B., McCrudden, P. & Street, R. Dualizations and Antipodes. Applied Categorical Structures 11, 229–260 (2003). https://doi.org/10.1023/A:1024236601870
Issue Date:
DOI: https://doi.org/10.1023/A:1024236601870