{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:52:18Z","timestamp":1762458738157,"version":"build-2065373602"},"reference-count":50,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":4720,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1996,4]]},"abstract":"<jats:p>It has recently become evident that categories of representations of<jats:italic>Hopf algebras<\/jats:italic>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<jats:italic>linear topology<\/jats:italic>. 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.<\/jats:p>","DOI":"10.1017\/s0960129500000943","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T09:00:09Z","timestamp":1236157209000},"page":"189-212","source":"Crossref","is-referenced-by-count":20,"title":["Hopf algebras and linear logic"],"prefix":"10.1017","volume":"6","author":[{"given":"Richard F.","family":"Blute","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S0960129500000943_ref033","unstructured":"Lambek J. (1993) Bilinear Logic in Algebra and Linguistics (preprint)."},{"key":"S0960129500000943_ref019","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-99902-4"},{"key":"S0960129500000943_ref024","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"S0960129500000943_ref008","first-page":"335","article-title":"Closed Categories and Banach Spaces","volume":"17","author":"Barr","year":"1976","journal-title":"Cahiers de Top. et Geom. Diff"},{"key":"S0960129500000943_ref044","doi-asserted-by":"publisher","DOI":"10.1016\/0097-3165(87)90006-9"},{"key":"S0960129500000943_ref005","first-page":"3","article-title":"Duality of Vector Spaces","volume":"17","author":"Barr","year":"1976","journal-title":"Cahiers de Top. et Geom. Diff"},{"key":"S0960129500000943_ref041","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(87)90020-X"},{"key":"S0960129500000943_ref023","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0101176"},{"key":"S0960129500000943_ref015","unstructured":"Blute R. (1995) Braided Proof Nets and Categories (in preparation)."},{"volume-title":"Hopf Algebras","year":"1969","author":"Sweedler","key":"S0960129500000943_ref047"},{"key":"S0960129500000943_ref006","first-page":"15","article-title":"Duality of Banach Spaces","volume":"17","author":"Barr","year":"1976","journal-title":"Cahiers de Top. et Geom. Diff"},{"key":"S0960129500000943_ref028","doi-asserted-by":"crossref","unstructured":"Joyal A. and Street R. (1992) Braided Tensor Categories. To appear in Advances in Mathematics.","DOI":"10.1006\/aima.1993.1055"},{"key":"S0960129500000943_ref050","doi-asserted-by":"publisher","DOI":"10.2307\/2274953"},{"key":"S0960129500000943_ref042","first-page":"3","article-title":"A Note on Girard Quantales","volume":"31","author":"Rosenthal","year":"1990","journal-title":"Cahiers Top. Geom. Diff"},{"key":"S0960129500000943_ref010","unstructured":"Barr M. (1994) Nonsymmetric *-Autonomous Categories. To appear in Theoretical Computer Science."},{"key":"S0960129500000943_ref048","first-page":"252","article-title":"On Hopf Algebras and Rigid Monoidal Categories","volume":"71","author":"Ulbrich","year":"1989","journal-title":"Isr. J. of Math"},{"key":"S0960129500000943_ref012","first-page":"1887","article-title":"Categories avec Multiplication","volume":"256","author":"Benabou","year":"1963","journal-title":"C.R. Acad. Sci. Paris"},{"volume-title":"Hopf Algebras","year":"1977","author":"Abe","key":"S0960129500000943_ref001"},{"key":"S0960129500000943_ref002","doi-asserted-by":"crossref","unstructured":"Abramsky S. and Jagadeesan R. (1992) Games and Full Completeness for Linear Logic (preprint).","DOI":"10.1007\/3-540-56287-7_113"},{"key":"S0960129500000943_ref003","doi-asserted-by":"publisher","DOI":"10.2307\/2275485"},{"key":"S0960129500000943_ref039","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/134\/1187289"},{"key":"S0960129500000943_ref025","unstructured":"Gonthier G. , Abadi M. and Levy J. J. (1992) Linear Logic Without Boxes. In: Proceedings of Logic in Computer Science, IEEE."},{"key":"S0960129500000943_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0064579"},{"volume-title":"General Topology","year":"1970","author":"Willard","key":"S0960129500000943_ref049"},{"key":"S0960129500000943_ref011","article-title":"*-autonomous Categories Revisited","author":"Barr","year":"1995","journal-title":"Journal of Pure and Applied Algebra"},{"key":"S0960129500000943_ref036","first-page":"28","article-title":"Natural Associativity and Commutativity","volume":"49","author":"Mac Lane","year":"1963","journal-title":"Rice University Studies"},{"key":"S0960129500000943_ref013","doi-asserted-by":"crossref","first-page":"427","DOI":"10.3233\/FI-1989-12402","article-title":"Bialgebras: Some Foundations for Distributed and Concurrent Computation","volume":"12","author":"Benson","year":"1989","journal-title":"Fundamenta Informaticae"},{"journal-title":"Journal of Pure and Applied Algebra","year":"1995","author":"Blute","key":"S0960129500000943_ref016"},{"key":"S0960129500000943_ref007","first-page":"223","article-title":"Closed Categories and Topological Vector Spaces","volume":"17","author":"Barr","year":"1976","journal-title":"Cahiers de Top. et Geom. Diff"},{"key":"S0960129500000943_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-38955-2_4"},{"key":"S0960129500000943_ref018","unstructured":"Drinfel'd V. G. (1986) Quantum Groups. Proceedings of the International Congress of Mathematicians 798\u2013820."},{"key":"S0960129500000943_ref020","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000451"},{"key":"S0960129500000943_ref021","volume":"129","author":"Fulton","year":"1991","journal-title":"Springer-Verlag Graduate Texts in Mathematics"},{"volume-title":"Mathematical Physics","year":"1985","author":"Geroch","key":"S0960129500000943_ref022"},{"volume-title":"Talk given at Linear Logic Conference","year":"1993","author":"Abrusci","key":"S0960129500000943_ref004"},{"key":"S0960129500000943_ref026","doi-asserted-by":"publisher","DOI":"10.1002\/sapm197961293"},{"key":"S0960129500000943_ref027","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0084235"},{"key":"S0960129500000943_ref029","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059557"},{"key":"S0960129500000943_ref030","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(80)90101-2"},{"key":"S0960129500000943_ref031","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(71)90013-2"},{"key":"S0960129500000943_ref014","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90053-V"},{"key":"S0960129500000943_ref032","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0079385"},{"key":"S0960129500000943_ref035","article-title":"Algebraic Topology","volume":"27","author":"Lefschetz","year":"1963","journal-title":"American Mathematical Society Colloquium Publications"},{"volume-title":"Introduction to Higher Order Categorical Logic","year":"1986","author":"Lambek","key":"S0960129500000943_ref034"},{"key":"S0960129500000943_ref037","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(90)90099-A"},{"key":"S0960129500000943_ref038","doi-asserted-by":"publisher","DOI":"10.1142\/S0217751X90000027"},{"key":"S0960129500000943_ref043","article-title":"Categories Tannakiennes","volume":"265","author":"Saavedra-Rivano","year":"1972","journal-title":"Springer-Verlag Lecture Notes in Mathematics"},{"key":"S0960129500000943_ref045","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0073967"},{"key":"S0960129500000943_ref040","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(93)90103-Z"},{"key":"S0960129500000943_ref046","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/092\/1003210"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500000943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,2]],"date-time":"2021-10-02T16:32:27Z","timestamp":1633192347000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500000943\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,4]]},"references-count":50,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,4]]}},"alternative-id":["S0960129500000943"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500000943","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"type":"print","value":"0960-1295"},{"type":"electronic","value":"1469-8072"}],"subject":[],"published":{"date-parts":[[1996,4]]}}}