Category of vector spaces