Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
From MaRDI portal
Publication:5452187
DOI10.1007/978-3-540-78127-1_20zbMath1134.18003OpenAlexW2157114307MaRDI QIDQ5452187
Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin
Publication date: 25 March 2008
Published in: Pillars of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78127-1_20
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
A Term-Graph Syntax for Algebras over Multisets ⋮ Picturing classical and quantum Bayesian inference ⋮ Drags: a compositional algebraic framework for graph rewriting ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Abstract Tensor Systems as Monoidal Categories ⋮ Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract) ⋮ Inversion, Iteration, and the Art of Dual Wielding
This page was built for publication: Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories