generated at
2/17/2025, 7:15:24 AM
自由対象
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
Free object - Wikipedia
scrap:極限 - 壱大整域