K-ベクトル空間の圏Vect_K