Hostname: page-component-8448b6f56d-sxzjt Total loading time: 0 Render date: 2024-04-19T15:44:53.706Z Has data issue: false hasContentIssue false

Hopf algebras and linear logic

Published online by Cambridge University Press:  04 March 2009

Richard F. Blute
Affiliation:
University of Ottawa, Ottawa, Ontario CANADA Emailrblute@mathstat.uottawa.ca

Abstract

It has recently become evident that categories of representations of Hopf algebras provide fundamental examples of monoidal categories. In this expository paper, we examine such categories as models of (multiplicative) linear logic. By varying the Hopf algebra, it is possible to model several variants of linear logic. We present models of the original commutative logic, the noncommutative logic of Lambek and Abrusci, the braided variant due to the author, and the cyclic logic of Yetter. Hopf algebras provide a unifying framework for the analysis of these variants. While these categories are monoidal closed, they lack sufficient structure to model the involutive negation of classical linear logic. We recall work of Lefschetz and Barr in which vector spaces are endowed with an additional topological structure, called linear topology. The resulting category has a large class of reflexive objects, which form a *-autonomous category, and so model the involutive negation. We show that the monoidal closed structure of the category of representations of a Hopf algebra can be extended to this topological category in a natural and simple manner. The models we obtain have the advantage of being nondegenerate in the sense that the two multiplicative connectives, tensor and par, are not equated. It has been recently shown by Barr that this category of topological vector spaces can be viewed as a subcategory of a certain Chu category. In an Appendix, Barr uses this equivalence to analyze the structure of its tensor product.

Type
Research Article
Copyright
Copyright © Cambridge University Press 1996

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

Abe, K. (1977) Hopf Algebras, Cambridge University Press.Google Scholar
Abramsky, S. and Jagadeesan, R. (1992) Games and Full Completeness for Linear Logic (preprint).CrossRefGoogle Scholar
Abrusci, V. M. (1991) Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic. Journal of Symbolic Logic 56 14031451.CrossRefGoogle Scholar
Abrusci, V. M. (1993) Talk given at Linear Logic Conference, Cornell University.Google Scholar
Barr, M. (1976a) Duality of Vector Spaces. Cahiers de Top. et Geom. Diff. 17 314.Google Scholar
Barr, M. (1976b) Duality of Banach Spaces. Cahiers de Top. et Geom. Diff. 17 1532.Google Scholar
Barr, M. (1976c) Closed Categories and Topological Vector Spaces. Cahiers de Top. et Geom. Diff. 17 223234.Google Scholar
Barr, M. (1976d) Closed Categories and Banach Spaces. Cahiers de Top. et Geom. Diff. 17 335342.Google Scholar
Barr, M. (1979) *-Autonomous Categories. Springer-Verlag Lecture Notes in Mathematics 752.CrossRefGoogle Scholar
Barr, M. (1994) Nonsymmetric *-Autonomous Categories. To appear in Theoretical Computer Science.Google Scholar
Barr, M. (1995) *-autonomous Categories Revisited. To appear in Journal of Pure and Applied Algebra.Google Scholar
Benabou, J. (1963) Categories avec Multiplication. C.R. Acad. Sci. Paris 256 18871890Google Scholar
Benson, D. B. (1989) Bialgebras: Some Foundations for Distributed and Concurrent Computation. Fundamenta Informaticae 12 427486.CrossRefGoogle Scholar
Blute, R. (1993) Linear Logic, Coherence and Dinaturality. Theoretical Computer Science 115 341.CrossRefGoogle Scholar
Blute, R. (1995) Braided Proof Nets and Categories (in preparation).Google Scholar
Blute, R., Cockett, J. R. B., Seely, R. A. G. and Trimble, T. (1995) Natural Deduction and Coherence for Weakly Distributive Categories. To appear in Journal of Pure and Applied Algebra.Google Scholar
Deligne, P. and Milne, J. (1982) Tannakian Categories. Springer-Verlag Lecture Notes in Mathematics 900.Google Scholar
Drinfel'd, V. G. (1986) Quantum Groups. Proceedings of the International Congress of Mathematicians 798820.Google Scholar
Eilenberg, S. and Kelly, G. M. (1966) Closed Categories. In: Proceedings of the International Conference on Categroical Algebra, Springer-Verlag.CrossRefGoogle Scholar
Fleury, A. and Rétoré, C. (1994) The MIX Rule. Mathematical Structures in Computer Science 4 273285.CrossRefGoogle Scholar
Fulton, W. and Harris, J. (1991) Representation Theory. Springer-Verlag Graduate Texts in Mathematics 129.Google Scholar
Geroch, R. (1985) Mathematical Physics, University of Chicago Press.Google Scholar
Gerstenhaber, M., Giaquinto, A. and Schack, D. (1992) Quantum Symmetry. Springer-Verlag Lecture Notes in Mathematics 1510.CrossRefGoogle Scholar
Girard, J. Y. (1987) Linear Logic. Theoretical Computer Science 50 1102.CrossRefGoogle Scholar
Gonthier, G., Abadi, M. and Levy, J. J. (1992) Linear Logic Without Boxes. In: Proceedings of Logic in Computer Science, IEEE.Google Scholar
Joni, S. and Rota, G. (1979) Coalgebras and Bialgebras in Combinatorics. Studies in Applied Mathematics 61 93139.CrossRefGoogle Scholar
Joyal, A. and Street, R. (1991) An Introduction to Tannaka Duality and Quantum Groups. Springer-Verlag Lecture Notes in Mathematics 1488.CrossRefGoogle Scholar
Joyal, A. and Street, R. (1992) Braided Tensor Categories. To appear in Advances in Mathematics.CrossRefGoogle Scholar
Kelly, G. M. (1972) An Abstract Approach to Coherence. Springer- Verlag Lecture Notes in Mathematics 281.CrossRefGoogle Scholar
Kelly, G. M. and La Plaza, M. (1980) Coherence for Compact Closed Categories. Journal of Pure and Applied Algebra 19 193213.CrossRefGoogle Scholar
Kelly, G. M. and Mac Lane, S. (1971) Coherence for Closed Categories. Journal of Pure and Applied Algebra 1 97140.CrossRefGoogle Scholar
Lambek, J. (1969) Deductive Systems and Categories II. Springer-Verlag Lecture Notes in Mathematics 87.CrossRefGoogle Scholar
Lambek, J. (1993) Bilinear Logic in Algebra and Linguistics (preprint).Google Scholar
Lambek, J. and Scott, P. (1986) Introduction to Higher Order Categorical Logic, Cambridge University Press.Google Scholar
Lefschetz, S. (1963) Algebraic Topology. American Mathematical Society Colloquium Publications 27.Google Scholar
Mac Lane, S. (1963) Natural Associativity and Commutativity. Rice University Studies 49 2846.Google Scholar
Majid, S. (1990a) Physics for Algebraists: Noncommutative and Noncocommutative Hopf Algebras by a Bicrossproduct Construction. J. of Alg. 130 1764.CrossRefGoogle Scholar
Majid, S. (1990b) Quasitriangular Hopf Algebras and Yang-Baxter Equations. International Journal of Modern Physics 5 191.CrossRefGoogle Scholar
Majid, S. (1992) Tannaka-Krein Theorem for Quasihopf Algebras and Other Results. Proceedings of the Conference on Deformation Theory and Quantum Groups. Contemporary Mathematics 134.CrossRefGoogle Scholar
Majid, S. (1993) Braided Groups. Journal of Pure and Applied Algebra 86 187221.CrossRefGoogle Scholar
Makkai, M. (1987) Stone Duality for First Order Logic. Advances in Mathematics 65 97170.CrossRefGoogle Scholar
Rosenthal, K. I. (1990) A Note on Girard Quantales. Cahiers Top. Geom. Diff. 31 312.Google Scholar
Saavedra-Rivano, R. (1972) Categories Tannakiennes. Springer-Verlag Lecture Notes in Mathematics 265.Google Scholar
Schmitt, W. (1987) Antipodes and Incidence Coalgebras. Journal of Combinatorial Theory 46 264290.CrossRefGoogle Scholar
Scott, D. (1972) Continuous Lattices. Springer-Verlag Lecture Notes in Mathematics 274.CrossRefGoogle Scholar
Seely, R. A. G. (1989) Linear Logic, *-Autonomous Categories and Cofree Coalgebras. In: Categories in Computer Science and Logic. Contemporary Mathematics 92, AMS.CrossRefGoogle Scholar
Sweedler, M. (1969) Hopf Algebras, Benjamin Press.Google Scholar
Ulbrich, K. (1989) On Hopf Algebras and Rigid Monoidal Categories. Isr. J. of Math. 71 252256.Google Scholar
Willard, S. (1970) General Topology, Addison-Wesley.Google Scholar
Yetter, D. (1990) Quantales and (noncommutative) Linear Logic. Journal of Symbolic Logic 55 4164.CrossRefGoogle Scholar