ベクトル空間の圏Vect
体$ kに対して圏$ \mathrm{Vect}_k
大きな圏であり局所的に小さな圏
対象
すべての$ k-ベクトル空間
射
すべての$ k-線型写像
$ \mathrm{Vect}_\mathbb{C}
対象
複素ベクトル空間
射
複素線形写像