1. 代数的な拡張 : 係数を環にするとか(加群)
2. 基底が一般的に有限でない場合に色々考える(関数空間)
3. k-線型代数の全体など圏論的に考える

他には?