ダウンロード数: 157
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
j.entcs.2018.11.011.pdf | 289.7 kB | Adobe PDF | 見る/開く |
タイトル: | Partial Traces on Additive Categories |
著者: | Hoshino, Naohiko https://orcid.org/0000-0003-2647-0310 (unconfirmed) |
著者名の別形: | 星野, 直彦 |
キーワード: | partial trace execution formula kernel-image trace Geometry of Interaction additive category abelian category |
発行日: | 1-Dec-2018 |
出版者: | Elsevier B.V. |
誌名: | Electronic Notes in Theoretical Computer Science |
巻: | 341 |
開始ページ: | 219 |
終了ページ: | 237 |
抄録: | 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. |
記述: | 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. |
著作権等: | © 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/). |
URI: | http://hdl.handle.net/2433/235721 |
DOI(出版社版): | 10.1016/j.entcs.2018.11.011 |
出現コレクション: | 学術雑誌掲載論文等 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。