20181211112425
#今日の圏論
#圏論の基礎
引き戻しが作る反変関手の例。環準同型ρ:R→Sを使って、Modρ:右S加群→右R加群を作る。このModは反変関手Rng→Cat’になる。疑問:CatじゃなくてCat’になる理由がいまいち腑に落ちてない。…
https://t.co/Nm9msWQ1Ab
https://img.hyuki.net/20190519213201-4f865453ef43ea6f.jpg
#20181211
#20181211112425
ツイート