Abstract
We study bialgebras and Hopf algebras in the compact closed categoryRelof sets and binary relations. Various monoidal categories with extra structure arise as the categories of (co)modules of bialgebras and Hopf algebras inRel. In particular, for any groupG, we derive a ribbon category of crossedG-sets as the category of modules of a Hopf algebra inRelthat is obtained by the quantum double construction. This category of crossedG-sets serves as a model of the braided variant of propositional linear logic.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference52 articles.
1. Quantum Invariants of Knots and 3-Manifolds
2. A survey of graphical languages for monoidal categories. In: New Structures for Physics.;Selinger;Springer-Verlag Lecture Notes in Computer Science,2011
3. Closed categories, star-autonomy, and monoidal comonads
4. Asynchronous Games 3 An Innocent Model of Linear Logic
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Braids, Twists, Trace and Duality in Combinatory Algebras;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. A Braided Lambda Calculus;Electronic Proceedings in Theoretical Computer Science;2021-12-30
3. Linear Exponential Comonads without Symmetry;Electronic Proceedings in Theoretical Computer Science;2017-01-17
4. Denotational Semantics and Quantum Topology;Electronic Proceedings in Theoretical Computer Science;2014-12-28