A quantum double construction in Rel

• 長谷川, 真人

抄録

We study bialgebras and Hopf algebras in the compact closed category Rel of sets and binary relations. Various monoidal categories with extra structure arise as the categories of (co)modules of bialgebras and Hopf algebras in Rel. In particular, for any group G, we derive a ribbon category of crossed G-sets as the category of modules of a Hopf algebra in Rel that is obtained by the quantum double construction. This category of crossed G-sets serves as a model of the braided variant of propositional linear logic.

収録刊行物

• Mathematical Structures in Computer Science

  Mathematical Structures in Computer Science 22 (4), 618-650, 2012-08

  Cambridge University Press

キーワード

• Computer Science Applications
• Mathematics (miscellaneous)

詳細情報

• CRID: 1050845760667560960
• NII論文ID: 120004873597
• ISSN: 09601295
• ISSN: 14698072
• DOI: 10.1017/s0960129511000703
• HANDLE: 2433/159905
• Web Site: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S0960129511000703
• 本文言語コード: en
• 資料種別: journal article
• データソース種別:
  • IRDB
  • Crossref
  • CiNii Articles
  • KAKEN