generated at
2/21/2025, 9:06:27 PM
自由函手
free functor
具体圏
(C,U\colon C →B)
に対し
自由函手
F
とは
任意の
基底
b\in B
から
自由対象
c=s.F
を得る函手
自由函手は
忘却函手
の
左随伴函手
F \dashv U \colon B → C