Access count of this item: 40

Files in This Item:
File Description SizeFormat 
j.entcs.2018.11.011.pdf289.7 kBAdobe PDFView/Open
Title: Partial Traces on Additive Categories
Authors: Hoshino, Naohiko
Author's alias: 星野, 直彦
Keywords: partial trace
execution formula
kernel-image trace
Geometry of Interaction
additive category
abelian category
Issue Date: 1-Dec-2018
Publisher: Elsevier B.V.
Journal title: Electronic Notes in Theoretical Computer Science
Volume: 341
Start page: 219
End page: 237
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.
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.
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/).
URI: http://hdl.handle.net/2433/235721
DOI(Published Version): 10.1016/j.entcs.2018.11.011
Appears in Collections:Journal Articles

Show full item record

Export to RefWorks


Export Format: 


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.