圏Vect_k