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 .
|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 Berlin Heidelberg|
|Number of pages||19|
|Publication status||Published - 2008|