忘却関手
#Fleeting_Notes
忘却関手(ぼうきゃくかんしゅ、Forgetful functor)
域(
$ \mathrm{dom}
)余域(
$ \mathrm{cod}
)の圏の型が違う関手は忘却関手？
違いそう
関手
$ U : \mathbf{Grp} \to \mathbf{Set}
の場合が例？
確認用
Q. 忘却関手
関連
随伴
圏Grp
圏Set
自由関手
メモ
/category/忘却関手
/mrsekut-p/忘却関手
自由とは何か | Mathlog
忘却関手は難しい - 檜山正幸のキマイラ飼育記 (はてなBlog)
第5回「ベーシック圏論」例1.2.3（忘却関手）例1.2.4（自由関手） - YouTube
調査用
/pogi-log/Google.icon
忘却関手(日)
/pogi-log/Google.icon
Forgetful functor(英)
/pogi-log/Wikipedia.icon
忘却関手 - Wikipedia(日)
忘却関手(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Forgetful functor - Wikipedia(英)
Forgetful functor(検索) - Wikipedia(英)