ダウンロード数: 157
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
j.entcs.2018.11.011.pdf | 289.7 kB | Adobe PDF | 見る/開く |
完全メタデータレコード
DCフィールド | 値 | 言語 |
---|---|---|
dc.contributor.author | Hoshino, Naohiko | en |
dc.contributor.alternative | 星野, 直彦 | ja |
dc.date.accessioned | 2018-12-17T07:41:42Z | - |
dc.date.available | 2018-12-17T07:41:42Z | - |
dc.date.issued | 2018-12-01 | - |
dc.identifier.issn | 1571-0661 | - |
dc.identifier.uri | http://hdl.handle.net/2433/235721 | - |
dc.description | Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV). The conference was held in Halifax, Nova Scotia, Canada, June 6–9 2018. | en |
dc.description.abstract | In this paper, we study partial traces on additive categories. Haghverdi and Scott introduced partially traced symmetric monoidal categories generalizing traced symmetric monoidal categories given by Joyal, Street and Verity. The original example of a partial trace is given in terms of the execution formula on the category of vector spaces and linear functions. Malherbe, Scott and Selinger gave another example of a partial trace on the category of vector spaces, and they observed that we can define these two partial traces on arbitrary additive categories. A natural question is: what kind of partial traces does the category of vector spaces have? We give a (partial) answer to this question. Our main result is: every abelian category has a largest partial trace. Here, “largest” means that every partial trace on the abelian category is obtained by restricting the domain of the largest partial trace. As a corollary, we show that the partial trace given by Malherbe, Scott and Selinger is the largest partial trace on the category of vector spaces. | en |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.publisher | Elsevier B.V. | en |
dc.rights | © 2018 Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/). | en |
dc.subject | partial trace | en |
dc.subject | execution formula | en |
dc.subject | kernel-image trace | en |
dc.subject | Geometry of Interaction | en |
dc.subject | additive category | en |
dc.subject | abelian category | en |
dc.title | Partial Traces on Additive Categories | en |
dc.type | conference paper | - |
dc.type.niitype | Conference Paper | - |
dc.identifier.jtitle | Electronic Notes in Theoretical Computer Science | - |
dc.identifier.volume | 341 | - |
dc.identifier.spage | 219 | - |
dc.identifier.epage | 237 | - |
dc.relation.doi | 10.1016/j.entcs.2018.11.011 | - |
dc.textversion | publisher | - |
dc.address | Research Institute for Mathematical Sciences, Kyoto University | en |
dcterms.accessRights | open access | - |
datacite.awardNumber | JP26730004 | - |
jpcoar.funderName | 日本学術振興会 | ja |
jpcoar.funderName.alternative | Japan Society for the Promotion of Science (JSPS) | en |
出現コレクション: | 学術雑誌掲載論文等 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。