Partially traced categories

DOI10.1016/J.JPAA.2012.03.026MaRDI QIDQ1940191zbMATH OpenOpenAlexFDO

Authors Octavio Malherbe, Peter Selinger, Philip Scott

Publication date 6 March 2013

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1107.3608

zbMATH Keywords

partially traced categorytotally traced category

Mathematics Subject Classification ID

Abstract: This paper deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every partially traced category can be faithfully embedded in a totally traced category. Also conversely, every symmetric monoidal subcategory of a totally traced category is partially traced, so this characterizes the partially traced categories completely. The main technique we use is based on Freyd's paracategories, along with a partial version of Joyal, Street, and Verity's Int-construction.

Review text

This paper deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result proves that every partially traced category can be faithfully embedded in a totally traced category. Also conversely, every symmetric monoidal subcategory of a totally traced category is partially traced, so this characterizes the partially traced categories completely.

Recommendations

• scientific article; zbMATH DE number 589672
• scientific article; zbMATH DE number 16287
• Categories with partial covers
• Partial actions on categories
• Traced Premonoidal Categories
• Triangulated categories
• scientific article; zbMATH DE number 3863435
• scientific article; zbMATH DE number 3313453
• Traced monoidal categories
• Partial traces on additive categories

Cites work

• A categorical model for the geometry of interaction
• A survey of graphical languages for monoidal categories
• Computer Science Logic
• Geometry of interaction and the dynamics of proof reduction: a tutorial
• Geometry of interaction. V: Logic in the hyperfinite factor
• Glueing and orthogonality for models of linear logic
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 4123722 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 786500 (Why is no real title available?)
• scientific article; zbMATH DE number 5038458 (Why is no real title available?)
• scientific article; zbMATH DE number 3344105 (Why is no real title available?)
• On traced monoidal closed categories
• Paracategories. I: Internal paracategories and saturated partial algebras
• Towards a quantum programming language
• Traced monoidal categories
• Typed GoI for Exponentials

Cited in

(8)

• Partial traces on additive categories
• Two-track categories
• A Representation Theorem for Unique Decomposition Categories
• On traced monoidal closed categories
• Semilimits in Categories
• On the completeness of the traced monoidal category axioms in (Rel,+)
• Representation of partial traces
• On traces in categories of contractions

Describes a project that uses

Uses Software

• QPL

This page was built for publication: Partially traced categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1940191)