Loading...
Please wait, while we are loading the content...
Similar Documents
Finite dimensional vector spaces are complete for traced symmetric monoidal categories (2008)
| Content Provider | CiteSeerX |
|---|---|
| Author | Hofmann, Martin Hasegawa, Masahito Plotkin, Gordon |
| Description | IN: PILLARS OF COMPUTER SCIENCE: ESSAYS DEDICATED TO BORIS (BOAZ) TRAKHTENBROT ON THE OCCASION OF HIS 85TH BIRTHDAY, LECTURE NOTES IN COMPUTER SCIENCE 4800 (2008 |
| Abstract | We show that the category FinVectk 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 FinVectk which distinguishes them. Therefore two arrows in the free traced category are the same if and only if they agree for all interpretations in FinVectk. |
| File Format | |
| Publisher Date | 2008-01-01 |
| Access Restriction | Open |
| Subject Keyword | Different Arrow Linear Map Traced Symmetric Monoidal Category Free Traced Category Category Finvectk Finite Dimensional Vector Space |
| Content Type | Text |