集合の圏から線型空間の圏への関手で
集合Sを集合Sを基底とする線型空間に対応