2012年8月
A quantum double construction in Rel
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
- 巻
- 22
- 号
- 4
- 開始ページ
- 618
- 終了ページ
- 650
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.1017/S0960129511000703
- 出版者・発行元
- CAMBRIDGE UNIV PRESS
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.
- リンク情報
-
- DOI
- https://doi.org/10.1017/S0960129511000703
- J-GLOBAL
- https://jglobal.jst.go.jp/detail?JGLOBAL_ID=201502834393970909
- CiNii Articles
- http://ci.nii.ac.jp/naid/120004873597
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000306936800003&DestApp=WOS_CPL
- ID情報
-
- DOI : 10.1017/S0960129511000703
- ISSN : 0960-1295
- eISSN : 1469-8072
- J-Global ID : 201502834393970909
- CiNii Articles ID : 120004873597
- Web of Science ID : WOS:000306936800003