随伴関手
#Fleeting_Notes
随伴関手(Adjoint functor)
随伴な関手?
圏Grpと圏Setの随伴関手
$ \mathbf{Grp} \xtofrom[F]{U} \mathbf{Set}
$ F \vdash U
忘却関手$ U
自由関手$ F
確認用
Q. 随伴関手
随伴関手定理
参考
https://www.youtube.com/watch?v=d0iwxx9Y0PM
メモ
https://www.youtube.com/watch?v=JbF_G1ESe-8
随伴関手 unit-counit恒等式｜圏論勉強ノート
調査用
/pogi-log/Google.icon 随伴関手(日)
/pogi-log/Google.icon Adjoint functor(英)
/pogi-log/Wikipedia.icon
随伴関手 - Wikipedia(日)
随伴関手(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Adjoint functor - Wikipedia(英)
Adjoint functor(検索) - Wikipedia(英)