category,construction
Vect_k,binary product
Vect_k,binary sum
Vect_k,initial object
Vect_k,terminal object