generated at
2/21/2025, 6:58:51 PM
ベクトル空間の圏Vect
体
k
に対して圏
\mathrm{Vect}_k
大きな圏
であり
局所的に小さな圏
対象
すべての
k-
ベクトル空間
射
すべての
k-
線型写像
\mathrm{Vect}_\mathbb{C}
対象
複素ベクトル空間
射
複素線形写像