自由関手の例として、集合から自由線形空間を作ることは関手と見なすことができる。

まずは自由関手の対象関数について考えます。

自由線型空間は与えられた集合を基底とする線型結合全体の集合として作ったり、係数を作る関数全体の集合として作ったりしました。

#今日の圏論 #ベーシック圏論