自由-忘却随伴系
summary.icon
自由函手と忘却函手の随伴系
$ \left\lang F\dashv U \colon C→D, \eta, \epsilon \right\rang
基底圏 $ C
具体圏 $ D
自由函手 $ F\colon C→D
忘却函手 $ U \colon D → C
前提として忠実
単位
$ η\colon C^\wedge → F*U
余単位
$ ε\colon U * F → D^\wedge
etc.icon
自由構成
忘却函手に対して自由函手を得る操作