自由対象
free object
具体圏
$ (C,U\colon C →B)
に対し
基底
(
basis
)
$ b\in B
上の
自由対象
$ c\in C
とは
$ b
から
忘却函手
$ U
への
普遍射
$ \left\lang c,i\colon b → c.U \right\rang
ここで
$ i
は
自明な挿入
canonical insertion
reference.icon
Free object - Wikipedia
reference.icon
scrap:極限 - 壱大整域