各ベクトル空間の基底をってそれじゃwell defでないだろ。
それともk-Vectは初めから規定も指定されてる圏なの？
それならそんなのtrivialだよね。