ダウンロード数: 212
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
S0960129511000703.pdf | 421.66 kB | Adobe PDF | 見る/開く |
完全メタデータレコード
DCフィールド | 値 | 言語 |
---|---|---|
dc.contributor.author | HASEGAWA, MASAHITO | en |
dc.contributor.alternative | 長谷川, 真人 | ja |
dc.date.accessioned | 2012-10-12T02:47:10Z | - |
dc.date.available | 2012-10-12T02:47:10Z | - |
dc.date.issued | 2012-08 | - |
dc.identifier.issn | 0960-1295 | - |
dc.identifier.uri | http://hdl.handle.net/2433/159905 | - |
dc.description.abstract | 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. | en |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.publisher | Cambridge University Press | en |
dc.rights | ©Cambridge University Press 2012 | en |
dc.rights | 許諾条件により本文は2013-05-19に公開. | ja |
dc.title | A quantum double construction in Rel | en |
dc.type | journal article | - |
dc.type.niitype | Journal Article | - |
dc.identifier.jtitle | Mathematical Structures in Computer Science | en |
dc.identifier.volume | 22 | - |
dc.identifier.issue | 4 | - |
dc.identifier.spage | 618 | - |
dc.identifier.epage | 650 | - |
dc.relation.doi | 10.1017/S0960129511000703 | - |
dc.textversion | publisher | - |
dc.startdate.bitstreamsavailable | 2013-05-19 | - |
dcterms.accessRights | open access | - |
出現コレクション: | 学術雑誌掲載論文等 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。