忘却関手
今日の圏論
は
圏論の基礎
p.17
忘却関手
（
掟上今日子
さんと直接の関係はありません）。演算を忘れ、構造を忘れる関手。
基底関手
ともいうようです。
$ U
と書いているのはUnderlying Functorの頭文字。
Grp
から
Set
への
関手
で演算を忘れたものは忘却関手。
https://t.co/yw386fnA63
https://img.textfile.org/twitter-1037335655263690753-1.jpg
上の
$ (Z,\times,+)
という書き方はここでは不適切かもしれない。
$ f = Uf
であることがわかりにくくなるから。
#20180905