Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories

Masahito Hasegawa; Martin Hofmann; Gordon D. Plotkin

doi:10.1007/978-3-540-78127-1_20

Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories

Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

We show that the category FinVect k of finite dimensional vector spaces and linear maps over any field k is (collectively) complete for the traced symmetric monoidal category freely generated from a signature, provided that the field has characteristic 0; this means that for any two different arrows in the free traced category there always exists a strong traced functor into FinVect k which distinguishes them. Therefore two arrows in the free traced category are the same if and only if they agree for all interpretations in FinVect k .

Original language	English
Title of host publication	Pillars of Computer Science
Subtitle of host publication	Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Publisher	Springer
Pages	367-385
Number of pages	19
Volume	4800
ISBN (Electronic)	978-3-540-78127-1
ISBN (Print)	978-3-540-78126-4
DOIs	https://doi.org/10.1007/978-3-540-78127-1_20
Publication status	Published - 2008

Access to Document

10.1007/978-3-540-78127-1_20

Hasegawa Hormann ET AL 2008 Finite Dimensional Vector Spaces are Complete for Traced Symmetric Monoidal CategoriesAccepted author manuscript, 285 KB

http://dx.doi.org/10.1007/978-3-540-78127-1_20

Cite this

@inproceedings{69ea4111b2ab4f22944433b9b26aaced,

title = "Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories",

abstract = "We show that the category FinVect k of finite dimensional vector spaces and linear maps over any field k is (collectively) complete for the traced symmetric monoidal category freely generated from a signature, provided that the field has characteristic 0; this means that for any two different arrows in the free traced category there always exists a strong traced functor into FinVect k which distinguishes them. Therefore two arrows in the free traced category are the same if and only if they agree for all interpretations in FinVect k .",

author = "Masahito Hasegawa and Martin Hofmann and Plotkin, \{Gordon D.\}",

year = "2008",

doi = "10.1007/978-3-540-78127-1\_20",

language = "English",

isbn = "978-3-540-78126-4",

volume = "4800",

pages = "367--385",

booktitle = "Pillars of Computer Science",

publisher = "Springer",

address = "United Kingdom",

}

Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. / Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon D.
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Vol. 4800 Springer, 2008. p. 367-385.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories

AU - Hasegawa, Masahito

AU - Hofmann, Martin

AU - Plotkin, Gordon D.

PY - 2008

Y1 - 2008

N2 - We show that the category FinVect k of finite dimensional vector spaces and linear maps over any field k is (collectively) complete for the traced symmetric monoidal category freely generated from a signature, provided that the field has characteristic 0; this means that for any two different arrows in the free traced category there always exists a strong traced functor into FinVect k which distinguishes them. Therefore two arrows in the free traced category are the same if and only if they agree for all interpretations in FinVect k .

AB - We show that the category FinVect k of finite dimensional vector spaces and linear maps over any field k is (collectively) complete for the traced symmetric monoidal category freely generated from a signature, provided that the field has characteristic 0; this means that for any two different arrows in the free traced category there always exists a strong traced functor into FinVect k which distinguishes them. Therefore two arrows in the free traced category are the same if and only if they agree for all interpretations in FinVect k .

U2 - 10.1007/978-3-540-78127-1_20

DO - 10.1007/978-3-540-78127-1_20

M3 - Conference contribution

SN - 978-3-540-78126-4

VL - 4800

SP - 367

EP - 385

BT - Pillars of Computer Science

PB - Springer

ER -

Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories

Abstract

Access to Document

Fingerprint

Cite this