Partially traced categories
From MaRDI portal
Publication:1940191
DOI10.1016/j.jpaa.2012.03.026zbMath1278.18010arXiv1107.3608OpenAlexW2087836204MaRDI QIDQ1940191
Peter Selinger, Octavio Malherbe, Philip J. 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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Partial traces on additive categories ⋮ A Representation Theorem for Unique Decomposition Categories ⋮ Representation of partial traces
Uses Software
Cites Work
- Geometry of interaction. V: Logic in the hyperfinite factor
- A categorical model for the geometry of interaction
- Glueing and orthogonality for models of linear logic
- Paracategories. I: Internal paracategories and saturated partial algebras
- A Survey of Graphical Languages for Monoidal Categories
- Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial
- Typed GoI for Exponentials
- On traced monoidal closed categories
- Towards a quantum programming language
- Traced monoidal categories
- Computer Science Logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Partially traced categories
