自由対象
free object
しっくり来ていないmrsekut.icon
定義
具体圏$ (\mathscr{A}, F)に対し、 $ A\in\mathscr{A}, X\in\mathrm{Set}で
$ iは$ Xから$ FAへの単射写像だとする
このとき、$ Aのことを、$ X上の自由対象と言う
https://gyazo.com/125cd4dfa51e87b5cdf4d6bbdb57a6ba
$ FAのことを自由対象と言うこともある(?)
wikiの定義では、具体圏$ (\mathscr{A},F)の関手$ Fが$ \mathscr{A}\to \mathrm{Set}になっているが、 行き先は$ \mathrm{Set}に限らない
一般化した$ F:\mathscr{A}\to\mathscr{B}なやつも自由対象と言う
なんか抽象的すぎて、定義を見ても、定義に対して、なんで？になっちゃうなmrsekut.icon