自由函手
free functor
具体圏
$ (C,U\colon C →B)
に対し
自由函手
$ F
とは
任意の
基底
$ b\in B
から
自由対象
$ c=s.F
を得る函手
自由函手は
忘却函手
の
左随伴函手
$ F \dashv U \colon B → C