Finite dimensional vector spaces are complete for traced symmetric monoidal categories (2008)

by M Hasegawa, M Hofmann, G Plotkin
Venue:In Pill. of c. sci